Details

Time bar (total: 27.7s)

sample271.0ms

Algorithm
intervals
Results
116.0ms155×body1280valid
88.0ms107×body640valid
19.0ms68×body320valid
14.0ms161×body80valid
5.0ms26×body160valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (65.0ms)

IterNodesCost
010363
118363
239363
386363
4262293
51554293
done5000293

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 43.0b

localize30.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
5.0b
(- (exp (- im)) (exp im))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log
5×associate-*r*
4×add-log-exp
3×sub-neg pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 40
Calls
2 calls:
84.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
25.0ms
(- (exp (- im)) (exp im))

series170.0ms

Counts
2 → 6
Calls
2 calls:
107.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
63.0ms
(- (exp (- im)) (exp im))

simplify1.8s

Counts
46 → 46
Iterations

Useful iterations: done (1.8s)

IterNodesCost
09218074
125617017
2135616620
done500115932

prune279.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 1/60 (pow im 5))
0.1b
(* im (* im im))
0.1b
(* (* 0.5 (sin re)) (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
0.1b
(* (* im (* im im)) -1/3)

rewrite446.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1
28×add-exp-log
25×add-cbrt-cube
16×add-sqr-sqrt
15×prod-exp
14×associate-*r*
13×cbrt-unprod
12×pow-prod-down
10×*-un-lft-identity add-cube-cbrt
8×associate-*l*
5×pow-prod-up
4×unpow-prod-down *-commutative add-log-exp unswap-sqr
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ sqr-pow
1×pow2 pow-to-exp pow-plus flip3-- cube-unmult pow-exp pow-sqr flip--
Counts
4 → 94
Calls
4 calls:
16.0ms
(* 1/60 (pow im 5))
13.0ms
(* im (* im im))
331.0ms
(* (* 0.5 (sin re)) (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
79.0ms
(* (* im (* im im)) -1/3)

series492.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(* 1/60 (pow im 5))
46.0ms
(* im (* im im))
318.0ms
(* (* 0.5 (sin re)) (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
51.0ms
(* (* im (* im im)) -1/3)

simplify2.5s

Counts
106 → 106
Iterations

Useful iterations: 2 (900.0ms)

IterNodesCost
017235716
147132561
2275731520
done500131520

prune575.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize80.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))) (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))))
0.6b
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
0.6b
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
0.6b
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))

rewrite966.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×flip3-- pow1/3 flip--
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
741.0ms
(* (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))) (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))))
71.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
76.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
75.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))

series1.0s

Counts
4 → 12
Calls
4 calls:
285.0ms
(* (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))) (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))))
222.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
273.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
240.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))

simplify1.8s

Counts
99 → 99
Iterations

Useful iterations: done (1.8s)

IterNodesCost
017485430
143576975
2181876975
done500076295

prune931.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.0b

localize179.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
0.6b
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
0.7b
(cbrt (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))))
0.7b
(cbrt (* (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))) (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))))

rewrite505.0ms

Algorithm
rewrite-expression-head
Rules
28×cbrt-div
16×cbrt-prod
9×flip3-- flip--
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×frac-times pow1 add-cbrt-cube pow1/3 add-exp-log add-log-exp
2×associate-*l/ associate-*r/
Counts
4 → 59
Calls
4 calls:
100.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
76.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
120.0ms
(cbrt (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))))
207.0ms
(cbrt (* (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))) (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
243.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
267.0ms
(cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))
321.0ms
(cbrt (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))))
415.0ms
(cbrt (* (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im)))) (cbrt (- (* (* im (* im im)) -1/3) (+ (* 1/60 (pow im 5)) (+ im im))))))

simplify2.5s

Counts
71 → 71
Iterations

Useful iterations: done (2.4s)

IterNodesCost
021773872
150265699
2183865659
done500065019

prune769.0ms

Pruning

14 alts after pruning (11 fresh and 3 done)

Merged error: 0.0b

regimes871.0ms

Accuracy

0% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 0.8b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
017636
123636
done23636

end0.0ms

sample8.9s

Algorithm
intervals
Results
4.4s4924×body1280valid
1.9s3791×body640valid
997.0ms1855×body320valid
576.0ms956×body160valid
547.0ms4516×body80valid