Details

Time bar (total: 18.6s)

sample113.0ms

Algorithm
intervals
Results
42.0ms41×body640valid
31.0ms54×body1280valid
13.0ms137×body80valid
5.0ms15×body320valid
2.0msbody160valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
5697
4148
361
233
117
09

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.2b

localize46.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (cos (/ x 3.0)) 3.0)
0.5b
(- (* 4.0 (pow (cos (/ x 3.0)) 3.0)) (* 3.0 (cos (/ x 3.0))))
15.7b
(cos (/ x 3.0))
15.7b
(cos (/ x 3.0))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
pow1 add-exp-log
add-cbrt-cube
pow-unpow unpow-prod-down
pow-to-exp sub-neg pow-pow flip3-- diff-log pow-exp flip-- sqr-pow
Counts
4 → 43
Calls
4 calls:
6.0ms
(pow (cos (/ x 3.0)) 3.0)
22.0ms
(- (* 4.0 (pow (cos (/ x 3.0)) 3.0)) (* 3.0 (cos (/ x 3.0))))
8.0ms
(cos (/ x 3.0))
8.0ms
(cos (/ x 3.0))

series622.0ms

Counts
4 → 12
Calls
4 calls:
329.0ms
(pow (cos (/ x 3.0)) 3.0)
237.0ms
(- (* 4.0 (pow (cos (/ x 3.0)) 3.0)) (* 3.0 (cos (/ x 3.0))))
27.0ms
(cos (/ x 3.0))
29.0ms
(cos (/ x 3.0))

simplify4.5s

Counts
55 → 55
Iterations
IterNodes
done5000
34185
2848
1246
091

prune646.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.4b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* 4.0 (pow (cos (/ x 3.0)) 3.0)) (* 3.0 (cos (* 0.3333333333333333 x))))
0.3b
(pow (cos (/ x 3.0)) 3.0)
15.7b
(cos (/ x 3.0))
26.8b
(cos (* 0.3333333333333333 x))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
pow1 add-exp-log
add-cbrt-cube
pow-unpow unpow-prod-down
pow-to-exp sub-neg pow-pow flip3-- diff-log pow-exp flip-- sqr-pow
Counts
4 → 43
Calls
4 calls:
24.0ms
(- (* 4.0 (pow (cos (/ x 3.0)) 3.0)) (* 3.0 (cos (* 0.3333333333333333 x))))
7.0ms
(pow (cos (/ x 3.0)) 3.0)
8.0ms
(cos (/ x 3.0))
16.0ms
(cos (* 0.3333333333333333 x))

series636.0ms

Counts
4 → 12
Calls
4 calls:
233.0ms
(- (* 4.0 (pow (cos (/ x 3.0)) 3.0)) (* 3.0 (cos (* 0.3333333333333333 x))))
344.0ms
(pow (cos (/ x 3.0)) 3.0)
28.0ms
(cos (/ x 3.0))
30.0ms
(cos (* 0.3333333333333333 x))

simplify3.8s

Counts
55 → 55
Iterations
IterNodes
done5002
33589
2816
1246
097

prune512.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.4b

regimes1.2s

Accuracy

0% (1.0b remaining)

Error of 18.8b against oracle of 17.8b and baseline of 18.8b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
010

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.4s1632×body1280valid
653.0ms1263×body640valid
545.0ms4143×body80valid
272.0ms639×body320valid
68.0ms323×body160valid