Details

Time bar (total: 28.9s)

sample298.0ms

Algorithm
intervals
Results
169.0ms151×body1280valid
65.0ms109×body640valid
24.0ms60×body320valid
16.0ms126×body80valid
8.0ms30×body160valid

simplify236.0ms

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.0b

localize33.0ms

Local error

Found 3 expressions with local error:

6.3b
(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
0.0b
(/ (sin re) (exp im))
0.0b
(* (exp im) (sin re))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
13×fma-neg prod-diff
7×add-cbrt-cube
5×pow1 add-exp-log add-log-exp
3×expm1-log1p-u associate-/r* associate-*r* associate-*l* insert-posit16 log1p-expm1-u div-inv associate-/l*
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-- diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip--
Calls
3 calls:
Slowest
27.0ms
(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
10.0ms
(* (exp im) (sin re))
7.0ms
(/ (sin re) (exp im))

series196.0ms

Calls
3 calls:
Slowest
93.0ms
(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
55.0ms
(* (exp im) (sin re))
48.0ms
(/ (sin re) (exp im))

simplify3.1s

Calls
81 calls:
Slowest
305.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
229.0ms
(+ (* re im) (+ re (* 1/2 (* re (pow im 2)))))
197.0ms
(fma (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sin re) (cbrt (exp im))) (- (* (sin re) (exp im))))
192.0ms
(fma (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im))) (- (* (sin re) (exp im))))
174.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))

prune1.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 30.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* -2 (* re im))
0.0b
(* (* -2 (* re im)) 0.5)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log *-commutative add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
1×associate-*r* associate-*l*
Calls
2 calls:
Slowest
4.0ms
(* (* -2 (* re im)) 0.5)
1.0ms
(* -2 (* re im))

series52.0ms

Calls
2 calls:
Slowest
29.0ms
(* -2 (* re im))
23.0ms
(* (* -2 (* re im)) 0.5)

simplify127.0ms

Calls
6 calls:
Slowest
27.0ms
(* -2 (* re im))
27.0ms
(* -1.0 (* re im))
25.0ms
(* -1.0 (* re im))
20.0ms
(* -2 (* re im))
14.0ms
(* -1.0 (* re im))

prune319.0ms

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 30.0b

localize21.0ms

Local error

Found 4 expressions with local error:

13.7b
(cbrt (* -2 (* re im)))
13.7b
(cbrt (* -2 (* re im)))
13.7b
(cbrt (* -2 (* re im)))
0.5b
(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re 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
14.0ms
(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
2.0ms
(cbrt (* -2 (* re im)))
2.0ms
(cbrt (* -2 (* re im)))
2.0ms
(cbrt (* -2 (* re im)))

series604.0ms

Calls
4 calls:
Slowest
203.0ms
(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
149.0ms
(cbrt (* -2 (* re im)))
132.0ms
(cbrt (* -2 (* re im)))
119.0ms
(cbrt (* -2 (* re im)))

simplify3.3s

Calls
31 calls:
Slowest
334.0ms
(* (cbrt -2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))))
303.0ms
(* (cbrt -2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))))
282.0ms
(* (cbrt -2) (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))))
273.0ms
(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
264.0ms
(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))

prune725.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 30.0b

localize9.0ms

Local error

Found 4 expressions with local error:

13.8b
(cbrt (* (* -2 (* re im)) 0.5))
13.8b
(cbrt (* (* -2 (* re im)) 0.5))
13.8b
(cbrt (* (* -2 (* re im)) 0.5))
0.5b
(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))

rewrite21.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 (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
2.0ms
(cbrt (* (* -2 (* re im)) 0.5))
2.0ms
(cbrt (* (* -2 (* re im)) 0.5))
2.0ms
(cbrt (* (* -2 (* re im)) 0.5))

series549.0ms

Calls
4 calls:
Slowest
145.0ms
(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
143.0ms
(cbrt (* (* -2 (* re im)) 0.5))
133.0ms
(cbrt (* (* -2 (* re im)) 0.5))
128.0ms
(cbrt (* (* -2 (* re im)) 0.5))

simplify4.1s

Calls
31 calls:
Slowest
385.0ms
(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
349.0ms
(* (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))) (cbrt -1.0))
341.0ms
(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
279.0ms
(* (exp (* -1/3 (+ (log (/ 1 im)) (log (/ 1 re))))) (cbrt -1.0))
278.0ms
(* (exp (* -1/3 (+ (* 2 (log (/ -1 re))) (* 2 (log (/ -1 im)))))) (pow (cbrt -1.0) 2))

prune733.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 30.0b

regimes637.0ms

Accuracy

23.2% (2.2b remaining)

Error of 31.1b against oracle of 28.9b and baseline of 31.8b

bsearch101.0ms

end0.0ms

sample12.5s

Algorithm
intervals
Results
6.2s4741×body1280valid
3.5s3790×body640valid
1.0s1953×body320valid
818.0ms4502×body80valid
695.0ms988×body160valid