Details

Time bar (total: 44.4s)

sample276.0ms

Algorithm
intervals
Results
130.0ms108×body1280valid
63.0ms91×body640valid
39.0ms275×body80valid
17.0ms38×body320valid
6.0ms19×body160valid

simplify9.2s

Counts
1 → 1
Iterations
IterNodes
102581
91833
81403
71008
6803
5550
4224
3100
257
123
010

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (exp im) (cos re) (/ (cos re) (exp im)))
0.0b
(/ (cos re) (exp im))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube
3×associate-/r* add-exp-log associate-/l*
2×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp fma-udef div-inv
Counts
2 → 41
Calls
2 calls:
0.0ms
(fma (exp im) (cos re) (/ (cos re) (exp im)))
19.0ms
(/ (cos re) (exp im))

series163.0ms

Counts
2 → 6
Calls
2 calls:
100.0ms
(fma (exp im) (cos re) (/ (cos re) (exp im)))
63.0ms
(/ (cos re) (exp im))

simplify1.5s

Counts
47 → 47
Iterations
IterNodes
43068
3915
2354
1140
075

prune462.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (exp im) (cos re) (* (/ 1 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))
0.0b
(/ (cos re) (sqrt (exp im)))
0.0b
(/ 1 (sqrt (exp im)))
0.0b
(* (/ 1 (sqrt (exp im))) (/ (cos re) (sqrt (exp im))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
107×add-sqr-sqrt
94×times-frac
67×*-un-lft-identity
61×add-cube-cbrt
53×sqrt-prod
32×add-exp-log
22×associate-*r* associate-*l*
20×add-cbrt-cube
15×unswap-sqr
12×associate-/r*
11×div-exp
8×pow1 prod-exp
6×cbrt-undiv pow-flip associate-/l*
4×expm1-log1p-u sqrt-pow1 cbrt-unprod insert-posit16 log1p-expm1-u div-inv add-log-exp
3×rec-exp exp-prod 1-exp
2×clear-num frac-2neg
1×frac-times pow1/2 pow-prod-down associate-*l/ associate-*r/ *-commutative fma-udef inv-pow
Counts
4 → 190
Calls
4 calls:
0.0ms
(fma (exp im) (cos re) (* (/ 1 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))
14.0ms
(/ (cos re) (sqrt (exp im)))
8.0ms
(/ 1 (sqrt (exp im)))
38.0ms
(* (/ 1 (sqrt (exp im))) (/ (cos re) (sqrt (exp im))))

series239.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(fma (exp im) (cos re) (* (/ 1 (sqrt (exp im))) (/ (cos re) (sqrt (exp im)))))
56.0ms
(/ (cos re) (sqrt (exp im)))
19.0ms
(/ 1 (sqrt (exp im)))
43.0ms
(* (/ 1 (sqrt (exp im))) (/ (cos re) (sqrt (exp im))))

simplify15.2s

Counts
202 → 202
Iterations
IterNodes
33556
21329
1569
0222

prune2.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (exp im)) (cbrt (exp im)))
0.0b
(cbrt (exp im))
0.0b
(cbrt (exp im))
0.0b
(cbrt (exp im))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
12.0ms
(* (cbrt (exp im)) (cbrt (exp im)))
2.0ms
(cbrt (exp im))
2.0ms
(cbrt (exp im))
2.0ms
(cbrt (exp im))

series461.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(* (cbrt (exp im)) (cbrt (exp im)))
117.0ms
(cbrt (exp im))
92.0ms
(cbrt (exp im))
130.0ms
(cbrt (exp im))

simplify3.8s

Counts
97 → 97
Iterations
IterNodes
55161
41162
3522
2266
1136
066

prune1.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes138.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
29
19
08

end0.0ms

sample8.9s

Algorithm
intervals
Results
3.6s2965×body1280valid
2.0s2576×body640valid
2.0s8710×body80valid
629.0ms1176×body320valid
173.0ms598×body160valid