Details

Time bar (total: 31.0s)

sample188.0ms

Algorithm
intervals
Results
76.0ms87×body1280valid
45.0ms84×body640valid
30.0ms250×body80valid
13.0ms36×body320valid
5.0ms19×body160valid

simplify223.0ms

Calls
1 calls:
Slowest
223.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (sin re) (exp im))
0.0b
(fma (sin re) (exp im) (/ (sin re) (exp im)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube
3×associate-/r* add-exp-log associate-/l*
2×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp fma-udef div-inv
Calls
2 calls:
Slowest
10.0ms
(/ (sin re) (exp im))
0.0ms
(fma (sin re) (exp im) (/ (sin re) (exp im)))

series115.0ms

Calls
2 calls:
Slowest
74.0ms
(fma (sin re) (exp im) (/ (sin re) (exp im)))
42.0ms
(/ (sin re) (exp im))

simplify1.2s

Calls
31 calls:
Slowest
344.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
321.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
211.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
43.0ms
(/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im))))
34.0ms
(/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im)))

prune468.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (sin re) (sqrt (exp im)))
0.0b
(/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im)))
0.0b
(fma (sin re) (exp im) (/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im))))
0.0b
(sqrt (exp im))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
158×add-sqr-sqrt
157×*-un-lft-identity add-cube-cbrt
147×sqrt-prod
25×associate-/l*
12×associate-/r*
11×add-cbrt-cube add-exp-log
9×div-inv
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg
1×rem-sqrt-square pow1/2 fma-udef associate-/l/
Calls
4 calls:
Slowest
18.0ms
(/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im)))
9.0ms
(/ (sin re) (sqrt (exp im)))
2.0ms
(sqrt (exp im))
0.0ms
(fma (sin re) (exp im) (/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im))))

series228.0ms

Calls
4 calls:
Slowest
104.0ms
(fma (sin re) (exp im) (/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im))))
82.0ms
(/ (sin re) (sqrt (exp im)))
29.0ms
(/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im)))
13.0ms
(sqrt (exp im))

simplify12.4s

Calls
358 calls:
Slowest
350.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
296.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
274.0ms
(/ (/ (* (* (sin re) (sin re)) (sin re)) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im)))) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))))
244.0ms
(- re (+ (* 1/2 (* re im)) (* 1/6 (pow re 3))))
223.0ms
(/ (* (* (/ (sin re) (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))) (/ (sin re) (sqrt (exp im)))) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))))

prune3.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))))
0.0b
(sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))
0.0b
(sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))
0.0b
(/ (sin re) (exp im))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×*-un-lft-identity add-cube-cbrt
12×sqrt-prod
9×pow1 times-frac
8×add-cbrt-cube
7×add-exp-log
6×pow1/2 associate-*r* associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×rem-sqrt-square pow-prod-down pow-prod-up
1×pow2 cbrt-undiv clear-num rem-square-sqrt frac-2neg pow-plus sqrt-unprod div-exp prod-exp *-commutative cbrt-unprod div-inv
Calls
4 calls:
Slowest
6.0ms
(* (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))))
4.0ms
(/ (sin re) (exp im))
1.0ms
(sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))
1.0ms
(sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))

series393.0ms

Calls
4 calls:
Slowest
131.0ms
(sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))
122.0ms
(sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))
87.0ms
(* (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))))
52.0ms
(/ (sin re) (exp im))

simplify2.5s

Calls
68 calls:
Slowest
328.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
298.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
253.0ms
(* (* (* (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))) (* (* (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im)))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))) (sqrt (fma (sin re) (exp im) (/ (sin re) (exp im))))))
222.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
220.0ms
(* (fma (sin re) (exp im) (/ (sin re) (exp im))) (fma (sin re) (exp im) (/ (sin re) (exp im))))

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes107.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch1.0ms

end0.0ms

sample8.8s

Algorithm
intervals
Results
3.6s2970×body1280valid
2.7s2509×body640valid
1.4s8545×body80valid
532.0ms1275×body320valid
196.0ms675×body160valid