Details

Time bar (total: 1.5m)

sample1.6s

Algorithm
halfpoints

simplify23.3s

Counts
1 → 1
Iterations
IterNodes
done5128
94597
82460
71166
6432
5178
4111
379
248
130
016

prune84.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (cos y) (exp x)) (/ (cos y) (exp x)))
0.0b
(/ (cos y) (exp x))

rewrite260.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-cbrt-cube add-log-exp
3×add-exp-log associate-/r* associate-/l*
2×pow1 div-inv
1×cbrt-undiv +-commutative frac-2neg flip3-+ div-exp clear-num sum-log flip-+ distribute-lft-out
Counts
2 → 39
Calls
2 calls:
184.0ms
(+ (* (cos y) (exp x)) (/ (cos y) (exp x)))
74.0ms
(/ (cos y) (exp x))

series302.0ms

Counts
2 → 6
Calls
2 calls:
158.0ms
(+ (* (cos y) (exp x)) (/ (cos y) (exp x)))
144.0ms
(/ (cos y) (exp x))

simplify10.4s

Counts
45 → 45
Iterations
IterNodes
done5001
31829
2609
1198
082

prune864.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize105.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x))))
0.3b
(cbrt (cos y))
0.3b
(cbrt (cos y))
0.3b
(cbrt (cos y))

rewrite553.0ms

Algorithm
rewrite-expression-head
Rules
197×add-sqr-sqrt
193×cbrt-prod
184×times-frac
107×add-cube-cbrt *-un-lft-identity
40×swap-sqr associate-*r* associate-*l*
25×unswap-sqr
16×add-exp-log
11×pow1
8×add-cbrt-cube
4×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv add-log-exp
3×pow1/3
1×pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up
Counts
4 → 202
Calls
4 calls:
292.0ms
(* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x))))
2.0ms
(cbrt (cos y))
2.0ms
(cbrt (cos y))
2.0ms
(cbrt (cos y))

series2.3s

Counts
4 → 12
Calls
4 calls:
479.0ms
(* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x))))
484.0ms
(cbrt (cos y))
523.0ms
(cbrt (cos y))
796.0ms
(cbrt (cos y))

simplify13.7s

Counts
214 → 214
Iterations
IterNodes
done5000
22680
1911
0251

prune5.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes368.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done11
111
09

end1.0ms

sample29.8s

Algorithm
halfpoints