Details

Time bar (total: 31.2s)

sample257.0ms

Algorithm
intervals
Results
124.0ms180×body1280valid
81.0ms118×body640valid
13.0ms46×body320valid
11.0ms136×body80valid
4.0ms20×body160valid

simplify2.9s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite318.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:
198.0ms
(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
102.0ms
(- (exp (- 0.0 im)) (exp im))

series187.0ms

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

simplify2.5s

Counts
190 → 190
Iterations
IterNodes
done5000
24661
1787
0284

prune500.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize36.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
(* (* 0.5 (cos re)) (- (* (* (* 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)

rewrite428.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:
56.0ms
(- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))
260.0ms
(* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
29.0ms
(* (* im im) im)
80.0ms
(* (* (* im im) im) -1/3)

series465.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))
250.0ms
(* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
51.0ms
(* (* im im) im)
62.0ms
(* (* (* im im) im) -1/3)

simplify2.8s

Counts
116 → 116
Iterations
IterNodes
done5000
23375
1508
0185

prune839.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

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

rewrite627.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*r/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-- pow1/3 flip--
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 80
Calls
4 calls:
296.0ms
(* (cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))) (cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))))
84.0ms
(cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
108.0ms
(cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
137.0ms
(cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))

series2.2s

Counts
4 → 12
Calls
4 calls:
880.0ms
(* (cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))) (cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))))
431.0ms
(cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
418.0ms
(cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))
463.0ms
(cbrt (* (* 0.5 (cos re)) (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2)))))

simplify1.9s

Counts
92 → 92
Iterations
IterNodes
done5000
21989
1473
0185

prune907.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize86.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))))

rewrite799.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:
578.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))))
64.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
85.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

series1.1s

Counts
4 → 12
Calls
4 calls:
335.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)))))
254.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
235.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))
229.0ms
(cbrt (- (* (* (* im im) im) -1/3) (fma 1/60 (pow im 5) (* im 2))))

simplify1.4s

Counts
107 → 107
Iterations
IterNodes
done5000
21682
1433
0177

prune1.0s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes669.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done22
122
017

end0.0ms

sample9.2s

Algorithm
intervals
Results
5.4s5668×body1280valid
2.2s3655×body640valid
632.0ms1530×body320valid
403.0ms4385×body80valid
124.0ms730×body160valid