Details

Time bar (total: 48.9s)

sample305.0ms

Algorithm
intervals
Results
146.0ms169×body1280valid
93.0ms116×body640valid
27.0ms63×body320valid
18.0ms163×body80valid
5.0ms20×body160valid

simplify270.0ms

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

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 57.1b

localize36.0ms

Local error

Found 2 expressions with local error:

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

rewrite64.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
39.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
21.0ms
(- (exp (- 0 im)) (exp im))

series172.0ms

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

simplify12.5s

Calls
88 calls:
Slowest
599.0ms
(* (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (* 0.5 (cos re)))
361.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
355.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
348.0ms
(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
343.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

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 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 -1/3 (* im im) -2)
0.0b
(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))

rewrite19.0ms

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

series218.0ms

Calls
4 calls:
Slowest
116.0ms
(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
44.0ms
(* (fma -1/3 (* im im) -2) im)
30.0ms
(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))
27.0ms
(fma -1/3 (* im im) -2)

simplify4.3s

Calls
22 calls:
Slowest
410.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
408.0ms
(* (* (fma -1/3 (* im im) -2) im) (* 0.5 (cos re)))
379.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
365.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
348.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))

prune753.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

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

rewrite40.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
28.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)))))
4.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))))
4.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
552.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)))))
311.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
292.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
286.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))

simplify5.6s

Calls
31 calls:
Slowest
416.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))))))))
357.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))))
350.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))))))))))
307.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))))))))
286.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))))))))

prune959.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.1b

localize12.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 (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)))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
7×cbrt-prod add-sqr-sqrt *-un-lft-identity pow1/3 add-cube-cbrt
6×add-exp-log
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
18.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)))))
7.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
5.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
1.0ms
(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

series1.2s

Calls
4 calls:
Slowest
540.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)))))
288.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
272.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
138.0ms
(cbrt (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

simplify5.9s

Calls
33 calls:
Slowest
445.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))))))))
395.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))))
383.0ms
(- (+ (* 20/3 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im))))))) (* 40/9 (/ (exp (* 1/3 (- (log -1/60) (* 5 (log (/ 1 im)))))) (pow im 4))))
315.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))))))))))
271.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))))))))))

prune1.2s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.0b

regimes526.0ms

Accuracy

0% (0.7b remaining)

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

bsearch4.0ms

end0.0ms

sample12.0s

Algorithm
intervals
Results
7.0s5750×body1280valid
3.0s3526×body640valid
694.0ms4355×body80valid
679.0ms1529×body320valid
218.0ms682×body160valid