Details

Time bar (total: 36.4s)

sample333.0ms

Algorithm
intervals
Results
176.0ms136×body1280valid
74.0ms122×body640valid
36.0ms84×body320valid
23.0ms177×body80valid
8.0ms30×body160valid

simplify245.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 42.3b

localize32.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.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
19.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
9.0ms
(- (exp (- im)) (exp im))

series191.0ms

Calls
2 calls:
Slowest
126.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
65.0ms
(- (exp (- im)) (exp im))

simplify7.2s

Calls
62 calls:
Slowest
330.0ms
(* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
327.0ms
(* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
318.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
316.0ms
(* (* 0.5 (sin re)) (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))))
298.0ms
(* (fma (- (cbrt (exp im))) (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* (cbrt (exp im)) (cbrt (exp im))))) (* 0.5 (sin re)))

prune924.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

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

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

series186.0ms

Calls
2 calls:
Slowest
142.0ms
(* (* 0.5 (sin re)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)))
44.0ms
(* (fma -1/3 (* im im) -2) im)

simplify2.6s

Calls
16 calls:
Slowest
413.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
400.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
342.0ms
(* (* (fma -1/3 (* im im) -2) im) (* 0.5 (sin re)))
197.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im)) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))) (fma (pow im 5) -1/60 (* (fma -1/3 (* im im) -2) im))))
196.0ms
(* (* 0.5 (sin re)) (* (fma -1/3 (* im im) -2) im))

prune627.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

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

rewrite20.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
9.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))

series591.0ms

Calls
4 calls:
Slowest
182.0ms
(* (cbrt (* (fma -1/3 (* im im) -2) im)) (cbrt (* (fma -1/3 (* im im) -2) im)))
156.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
128.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
126.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))

simplify5.0s

Calls
31 calls:
Slowest
635.0ms
(- (+ (exp (* 1/3 (+ (log im) (log -2)))) (* 1/18 (* (exp (* 1/3 (+ (log im) (log -2)))) (pow im 2)))) (* 1/324 (* (exp (* 1/3 (+ (log im) (log -2)))) (pow im 4))))
384.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))))
368.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))))
366.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))))
348.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.1s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

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

rewrite10.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
4.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
4.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
1.0ms
(cbrt (fma -1/3 (* im im) -2))
0.0ms
(cbrt im)

series751.0ms

Calls
4 calls:
Slowest
300.0ms
(cbrt im)
152.0ms
(cbrt (fma -1/3 (* im im) -2))
149.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))
149.0ms
(cbrt (* (fma -1/3 (* im im) -2) im))

simplify3.0s

Calls
17 calls:
Slowest
429.0ms
(- (+ (pow -2 1/3) (* 1/18 (* (pow im 2) (pow -2 1/3)))) (* 1/324 (* (pow im 4) (pow -2 1/3))))
379.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))))
374.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))))
362.0ms
(- (+ (exp (* 1/3 (- (log -1/3) (* 2 (log (/ 1 im)))))) (* 2 (/ (exp (* 1/3 (- (log -1/3) (* 2 (log (/ 1 im)))))) (pow im 2)))) (* 4 (/ (exp (* 1/3 (- (log -1/3) (* 2 (log (/ 1 im)))))) (pow im 4))))
338.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.1s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes761.0ms

Accuracy

0% (0.7b remaining)

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

bsearch5.0ms

end0.0ms

sample11.7s

Algorithm
intervals
Results
5.2s4689×body1280valid
3.7s3920×body640valid
1.1s4609×body80valid
1.0s1870×body320valid
293.0ms936×body160valid