Details

Time bar (total: 44.6s)

sample361.0ms

Algorithm
intervals
Results
198.0ms170×body1280valid
73.0ms119×body640valid
41.0ms62×body320valid
24.0ms174×body80valid
6.0ms24×body160valid

simplify600.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 58.1b

localize35.0ms

Local error

Found 2 expressions with local error:

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

rewrite30.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
19.0ms
(* (* 0.5 (cos re)) (- (exp (- 0 im)) (exp im)))
10.0ms
(- (exp (- 0 im)) (exp im))

series171.0ms

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

simplify11.6s

Calls
88 calls:
Slowest
399.0ms
(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
384.0ms
(* (* 0.5 (cos re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
375.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
336.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
329.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.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 2 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)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
3×associate-*r*
2×expm1-log1p-u *-commutative fma-udef insert-posit16 log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod
Calls
2 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)

series152.0ms

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

simplify2.6s

Calls
16 calls:
Slowest
314.0ms
(* (* (fma -1/3 (* im im) -2) im) (* 0.5 (cos re)))
295.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
266.0ms
(- (* 0.5 (* (pow re 2) im)) (+ (* 0.16666666666666666 (pow im 3)) (* 1.0 im)))
238.0ms
(- (+ (* 1.0 (* im (cos re))) (+ (* 0.16666666666666666 (* (pow im 3) (cos re))) (* 0.008333333333333333 (* (pow im 5) (cos re))))))
191.0ms
(* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))

prune488.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (fma -1/3 (* im im) -2) im))
0.6b
(cbrt (* (fma -1/3 (* im im) -2) im))
0.6b
(cbrt (* (fma -1/3 (* im im) -2) im))
0.5b
(* (cbrt (* (fma -1/3 (* im im) -2) im)) (cbrt (* (fma -1/3 (* im im) -2) im)))

rewrite18.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
12.0ms
(* (cbrt (* (fma -1/3 (* im im) -2) im)) (cbrt (* (fma -1/3 (* im im) -2) im)))
2.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
2.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
2.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))

series540.0ms

Calls
4 calls:
Slowest
150.0ms
(* (cbrt (* (fma -1/3 (* im im) -2) im)) (cbrt (* (fma -1/3 (* im im) -2) im)))
136.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
130.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
123.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))

simplify4.5s

Calls
31 calls:
Slowest
380.0ms
(- (+ (* (exp (* 1/3 (- (log -1/3) (* 3 (log (/ -1 im)))))) (cbrt -1)) (* 2 (/ (* (exp (* 1/3 (- (log -1/3) (* 3 (log (/ -1 im)))))) (cbrt -1)) (pow im 2)))) (* 4 (/ (* (exp (* 1/3 (- (log -1/3) (* 3 (log (/ -1 im)))))) (cbrt -1)) (pow im 4))))
369.0ms
(- (+ (* 2 (/ (exp (* 1/3 (- (log -1/3) (* 3 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/3) (* 3 (log (/ 1 im))))))) (* 4 (/ (exp (* 1/3 (- (log -1/3) (* 3 (log (/ 1 im)))))) (pow im 4))))
321.0ms
(- (+ (* 2 (/ (exp (* 1/3 (- (log -1/3) (* 3 (log (/ 1 im)))))) (pow im 2))) (exp (* 1/3 (- (log -1/3) (* 3 (log (/ 1 im))))))) (* 4 (/ (exp (* 1/3 (- (log -1/3) (* 3 (log (/ 1 im)))))) (pow im 4))))
316.0ms
(- (+ (exp (* 1/3 (- (log 1/9) (* 6 (log (/ 1 im)))))) (* 4 (/ (exp (* 1/3 (- (log 1/9) (* 6 (log (/ 1 im)))))) (pow im 2)))) (* 4 (/ (exp (* 1/3 (- (log 1/9) (* 6 (log (/ 1 im)))))) (pow im 4))))
315.0ms
(- (+ (* (exp (* 1/3 (- (log -1/3) (* 3 (log (/ -1 im)))))) (cbrt -1)) (* 2 (/ (* (exp (* 1/3 (- (log -1/3) (* 3 (log (/ -1 im)))))) (cbrt -1)) (pow im 2)))) (* 4 (/ (* (exp (* 1/3 (- (log -1/3) (* 3 (log (/ -1 im)))))) (cbrt -1)) (pow im 4))))

prune1.1s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

localize9.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
17.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)))))
3.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))))
3.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))

series1.5s

Calls
4 calls:
Slowest
592.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)))))
347.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
290.0ms
(cbrt (* (* 0.5 (cos re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
287.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
454.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))))))))
378.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))))))))))
347.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))))
257.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))))
256.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))))))))

prune1.0s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes603.0ms

Accuracy

0% (0.7b remaining)

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

bsearch2.0ms

end0.0ms

sample12.2s

Algorithm
intervals
Results
7.3s5715×body1280valid
2.9s3672×body640valid
775.0ms4504×body80valid
686.0ms1454×body320valid
178.0ms679×body160valid