Details

Time bar (total: 29.2s)

sample182.0ms

Algorithm
intervals
Results
112.0ms214×body1280valid
32.0ms107×body640valid
8.0ms137×body80valid
8.0ms38×body320valid
3.0ms27×body160valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
64670
5708
4212
3104
244
121
011

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.9b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
7.2b
(- (exp (- 0.0 im)) (exp im))

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
216×prod-diff
119×add-sqr-sqrt *-un-lft-identity
115×add-cube-cbrt
110×exp-sum
44×distribute-rgt-in distribute-lft-in
14×fma-neg
13×sub-neg
7×pow1 add-cbrt-cube add-exp-log
5×associate-*r*
4×add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* *-commutative
Counts
2 → 184
Calls
2 calls:
199.0ms
(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
93.0ms
(- (exp (- 0.0 im)) (exp im))

series202.0ms

Counts
2 → 6
Calls
2 calls:
131.0ms
(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
70.0ms
(- (exp (- 0.0 im)) (exp im))

simplify2.8s

Counts
190 → 190
Iterations
IterNodes
done5000
24661
1787
0284

prune447.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize61.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))
0.1b
(* (* im im) im)
0.1b
(* (* (* im im) im) -1/3)
0.1b
(* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

rewrite388.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1
23×add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
9×associate-*r* prod-diff
6×pow-plus pow-prod-up add-log-exp
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u log1p-expm1-u
3×sub-neg associate-*l* *-commutative
2×pow2 flip3-- associate-*r/ pow-sqr flip--
1×fma-neg diff-log pow3 fma-udef associate--r+ unswap-sqr
Counts
4 → 104
Calls
4 calls:
65.0ms
(- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))
16.0ms
(* (* im im) im)
80.0ms
(* (* (* im im) im) -1/3)
224.0ms
(* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

series444.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))
45.0ms
(* (* im im) im)
65.0ms
(* (* (* im im) im) -1/3)
247.0ms
(* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

simplify2.6s

Counts
116 → 116
Iterations
IterNodes
done5001
23288
1509
0185

prune789.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma -1/60 (pow im 5) (* (* im im) (* im -1/3)))
0.1b
(* (* im im) (* im -1/3))
0.1b
(* (* 0.5 (cos re)) (- (fma -1/60 (pow im 5) (* (* im im) (* im -1/3))) (* im 2)))
0.3b
(* im -1/3)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-cbrt-cube add-exp-log
12×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
7×associate-*r*
6×distribute-rgt-in distribute-lft-in prod-diff
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative fma-udef
2×sub-neg associate--l+ associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 88
Calls
4 calls:
1.0ms
(fma -1/60 (pow im 5) (* (* im im) (* im -1/3)))
38.0ms
(* (* im im) (* im -1/3))
27.0ms
(* (* 0.5 (cos re)) (- (fma -1/60 (pow im 5) (* (* im im) (* im -1/3))) (* im 2)))
6.0ms
(* im -1/3)

series522.0ms

Counts
4 → 12
Calls
4 calls:
157.0ms
(fma -1/60 (pow im 5) (* (* im im) (* im -1/3)))
68.0ms
(* (* im im) (* im -1/3))
269.0ms
(* (* 0.5 (cos re)) (- (fma -1/60 (pow im 5) (* (* im im) (* im -1/3))) (* im 2)))
27.0ms
(* im -1/3)

simplify1.9s

Counts
100 → 100
Iterations
IterNodes
done5000
22924
1507
0173

prune656.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize115.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))) (cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
0.7b
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
0.7b
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
0.7b
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

rewrite822.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×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u 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 → 95
Calls
4 calls:
590.0ms
(* (cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))) (cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
67.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
78.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
81.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

series1.1s

Counts
4 → 12
Calls
4 calls:
308.0ms
(* (cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))) (cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
265.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
285.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
289.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

simplify1.7s

Counts
107 → 107
Iterations
IterNodes
done5000
21682
1433
0177

prune973.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes587.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done22
122
017

end0.0ms

sample9.5s

Algorithm
intervals
Results
5.6s5790×body1280valid
1.8s3581×body640valid
614.0ms722×body160valid
450.0ms1473×body320valid
419.0ms4286×body80valid