Details

Time bar (total: 38.4s)

sample353.0ms

Algorithm
intervals
Results
187.0ms144×body1280valid
74.0ms117×body640valid
44.0ms73×body320valid
22.0ms166×body80valid
9.0ms31×body160valid

simplify200.0ms

Calls
1 calls:
Slowest
200.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 45.4b

localize37.0ms

Local error

Found 2 expressions with local error:

7.6b
(- (exp (- im)) (exp im))
0.0b
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
27×prod-diff
26×add-sqr-sqrt *-un-lft-identity
22×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
5×associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-log-exp
3×sub-neg fma-neg
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
21.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
10.0ms
(- (exp (- im)) (exp im))

series156.0ms

Calls
2 calls:
Slowest
102.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
54.0ms
(- (exp (- im)) (exp im))

simplify7.6s

Calls
62 calls:
Slowest
391.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
360.0ms
(* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
343.0ms
(* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
329.0ms
(* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
310.0ms
(* (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (* 0.5 (sin re)))

prune1.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 0.5 (sin 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))

rewrite10.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
6.0ms
(* (* 0.5 (sin 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 -1/3 (* im im) -2)
0.0ms
(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))

series272.0ms

Calls
4 calls:
Slowest
149.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
45.0ms
(* (fma -1/3 (* im im) -2) im)
42.0ms
(fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))
37.0ms
(fma -1/3 (* im im) -2)

simplify3.8s

Calls
22 calls:
Slowest
410.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
380.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
369.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
351.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
335.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

prune879.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

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

rewrite30.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
18.0ms
(* (cbrt (* (fma -1/3 (* im im) -2) im)) (cbrt (* (fma -1/3 (* im im) -2) im)))
4.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
4.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
3.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))

series592.0ms

Calls
4 calls:
Slowest
185.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
154.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
145.0ms
(* (cbrt (* (fma -1/3 (* im im) -2) im)) (cbrt (* (fma -1/3 (* im im) -2) im)))
107.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))

simplify4.8s

Calls
31 calls:
Slowest
413.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))))
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))))
357.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))))
347.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))))
317.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))))

prune1.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
5×cbrt-prod 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
2.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
2.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
1.0ms
(cbrt (fma -1/3 (* im im) -2))
0.0ms
(cbrt im)

series699.0ms

Calls
4 calls:
Slowest
278.0ms
(cbrt im)
151.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
139.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
131.0ms
(cbrt (fma -1/3 (* im im) -2))

simplify2.9s

Calls
17 calls:
Slowest
416.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))))
402.0ms
(- (+ (pow -2 1/3) (* 1/18 (* (pow im 2) (pow -2 1/3)))) (* 1/324 (* (pow im 4) (pow -2 1/3))))
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))))
358.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
(- (+ (* (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

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes447.0ms

Accuracy

0% (0.7b remaining)

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

bsearch2.0ms

end0.0ms

sample11.9s

Algorithm
intervals
Results
6.2s4777×body1280valid
3.5s3766×body640valid
869.0ms1869×body320valid
693.0ms4458×body80valid
446.0ms965×body160valid