Details

Time bar (total: 46.6s)

sample347.0ms

Algorithm
intervals
Results
179.0ms182×body1280valid
110.0ms120×body640valid
19.0ms147×body80valid
15.0ms41×body320valid
6.0ms19×body160valid

simplify226.0ms

Calls
1 calls:
Slowest
226.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 58.0b

localize29.0ms

Local error

Found 2 expressions with local error:

5.1b
(- (exp (- 0 im)) (exp im))
0.0b
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
45×prod-diff
32×add-sqr-sqrt *-un-lft-identity
28×add-cube-cbrt
20×exp-sum
17×distribute-rgt-in distribute-lft-in
13×sub-neg
5×fma-neg associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-log-exp
2×expm1-log1p-u flip3-- associate-*r/ insert-posit16 log1p-expm1-u flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
2 calls:
Slowest
24.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
10.0ms
(- (exp (- 0 im)) (exp im))

series161.0ms

Calls
2 calls:
Slowest
97.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
64.0ms
(- (exp (- 0 im)) (exp im))

simplify11.7s

Calls
88 calls:
Slowest
365.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
364.0ms
(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
358.0ms
(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
327.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
320.0ms
(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))

prune1.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*l*
3×expm1-log1p-u associate-*r* fma-udef insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod
Calls
3 calls:
Slowest
6.0ms
(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
3.0ms
(* (fma -1/3 (* im im) -2) im)
0.0ms
(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))

series206.0ms

Calls
3 calls:
Slowest
128.0ms
(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
49.0ms
(* (fma -1/3 (* im im) -2) im)
29.0ms
(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))

simplify4.4s

Calls
19 calls:
Slowest
793.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
390.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
366.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
358.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
336.0ms
(* (* (fma -1/3 (* im im) -2) im) (* 0.5 (cos re)))

prune741.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
7×pow1/3
6×add-sqr-sqrt *-un-lft-identity add-exp-log add-cube-cbrt
5×cbrt-prod
4×expm1-log1p-u add-cbrt-cube associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
14.0ms
(* (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))) (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
6.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
4.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
3.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))

series1.4s

Calls
4 calls:
Slowest
528.0ms
(* (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))) (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
309.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
309.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
298.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))

simplify5.5s

Calls
31 calls:
Slowest
399.0ms
(+ (* 40/3 (/ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (cos re) 2))) (* 10 (log (/ -1 im))))))) (pow im 2))) (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (cos re) 2))) (* 10 (log (/ -1 im))))))))
391.0ms
(+ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (cos re) 2))) (* 10 (log (/ 1 im))))))) (* 40/3 (/ (* (pow (cbrt 0.5) 2) (exp (* 1/3 (- (log (* 1/3600 (pow (cos re) 2))) (* 10 (log (/ 1 im))))))) (pow im 2))))
303.0ms
(+ (* (cbrt 0.5) (exp (* 1/3 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im))))))) (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im))))))) (pow im 2))))
297.0ms
(- (+ (* 1/9 (* (pow (cbrt 0.5) 2) (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow im 2)))) (* (exp (* 1/3 (+ (* 2 (log im)) (log 4)))) (pow (cbrt 0.5) 2))) (* 4/3 (* (pow re 2) (* (pow (cbrt 0.5) 2) (* (pow im 2) (exp (* 1/3 (- (log 1/16) (* 4 (log im))))))))))
290.0ms
(+ (* 20/3 (/ (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (cos re))) (* 5 (log (/ -1 im))))))) (pow im 2))) (* (cbrt 0.5) (exp (* 1/3 (- (log (* 1/60 (cos re))) (* 5 (log (/ -1 im))))))))

prune990.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
16×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
3.0ms
(cbrt (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
3.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
2.0ms
(cbrt (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
2.0ms
(cbrt (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))

series1.9s

Calls
4 calls:
Slowest
567.0ms
(cbrt (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
521.0ms
(cbrt (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
497.0ms
(cbrt (cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))))
334.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))

simplify4.1s

Calls
25 calls:
Slowest
290.0ms
(- (+ (* 1/54 (* (* (exp (* 1/9 (+ (log im) (log -2)))) (pow im 2)) (pow (cbrt 0.5) 1/3))) (* (exp (* 1/9 (+ (log im) (log -2)))) (pow (cbrt 0.5) 1/3))) (* 1/9 (* (* (pow re 2) (* (exp (* 1/9 (- (log -1/256) (* 8 (log im))))) im)) (pow (cbrt 0.5) 1/3))))
283.0ms
(+ (* (exp (* 1/9 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im)))))) (pow (cbrt 0.5) 1/3)) (* 20/9 (* (/ (exp (* 1/9 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im)))))) (pow im 2)) (pow (cbrt 0.5) 1/3))))
277.0ms
(+ (* (exp (* 1/9 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im)))))) (pow (cbrt 0.5) 1/3)) (* 20/9 (* (/ (exp (* 1/9 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im)))))) (pow im 2)) (pow (cbrt 0.5) 1/3))))
263.0ms
(- (+ (* (exp (* 1/3 (+ (log im) (log -2)))) (cbrt 0.5)) (* 1/18 (* (exp (* 1/3 (+ (log im) (log -2)))) (* (cbrt 0.5) (pow im 2))))) (* 1/3 (* (pow re 2) (* (cbrt 0.5) (* im (exp (* 1/3 (- (log -1/4) (* 2 (log im))))))))))
262.0ms
(+ (* (exp (* 1/9 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im)))))) (pow (cbrt 0.5) 1/3)) (* 20/9 (* (/ (exp (* 1/9 (- (log (* -1/60 (cos re))) (* 5 (log (/ 1 im)))))) (pow im 2)) (pow (cbrt 0.5) 1/3))))

prune1.1s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes339.0ms

Accuracy

0% (0.7b remaining)

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

bsearch2.0ms

end0.0ms

sample12.0s

Algorithm
intervals
Results
7.1s5790×body1280valid
2.9s3566×body640valid
807.0ms4370×body80valid
658.0ms1455×body320valid
204.0ms681×body160valid