Details

Time bar (total: 50.3s)

sample218.0ms

Algorithm
intervals
Results
100.0ms91×body1280valid
43.0ms79×body640valid
40.0ms289×body80valid
12.0ms36×body320valid
6.0ms20×body160valid

simplify208.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite12.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
Counts
2 → 41
Calls
2 calls:
Slowest
11.0ms
(/ (sin re) (exp im))
0.0ms
(fma (sin re) (exp im) (/ (sin re) (exp im)))

series180.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
105.0ms
(fma (sin re) (exp im) (/ (sin re) (exp im)))
74.0ms
(/ (sin re) (exp im))

simplify1.4s

Counts
31 → 47
Calls
31 calls:
Slowest
403.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
388.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
356.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
42.0ms
(/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im))))
31.0ms
(/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im)))

prune514.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
162×add-sqr-sqrt
160×*-un-lft-identity add-cube-cbrt
150×sqrt-prod
25×associate-/l*
12×associate-/r*
11×add-cbrt-cube add-exp-log
9×div-inv
8×sqrt-pow1
6×pow1 exp-prod
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square clear-num frac-2neg pow1/2
1×associate-/l/
Counts
4 → 258
Calls
4 calls:
Slowest
32.0ms
(/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im)))
10.0ms
(/ (sin re) (sqrt (exp im)))
2.0ms
(sqrt (exp im))
2.0ms
(sqrt (exp im))

series174.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
81.0ms
(/ (sin re) (sqrt (exp im)))
48.0ms
(/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im)))
23.0ms
(sqrt (exp im))
21.0ms
(sqrt (exp im))

simplify11.6s

Counts
370 → 270
Calls
370 calls:
Slowest
470.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))))
350.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))))
328.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
221.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))))
184.0ms
(/ (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im))))) (sqrt (* (cbrt (exp im)) (cbrt (exp im)))))

prune3.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

7.5b
(log (sqrt (exp im)))
0.0b
(/ (/ (sin re) (exp (log (sqrt (exp im))))) (sqrt (exp im)))
0.0b
(/ (sin re) (exp (log (sqrt (exp im)))))
0.0b
(sqrt (exp im))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
402×times-frac
229×add-sqr-sqrt
228×*-un-lft-identity add-cube-cbrt
177×sqrt-prod
156×log-prod
150×exp-sum
34×associate-/l*
15×associate-/r*
11×add-cbrt-cube
10×add-exp-log
9×div-inv
8×sqrt-pow1
7×pow1
6×exp-prod log-pow
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg pow1/2
1×rem-sqrt-square rem-log-exp associate-/l/
Counts
4 → 337
Calls
4 calls:
Slowest
53.0ms
(/ (/ (sin re) (exp (log (sqrt (exp im))))) (sqrt (exp im)))
21.0ms
(/ (sin re) (exp (log (sqrt (exp im)))))
3.0ms
(log (sqrt (exp im)))
2.0ms
(sqrt (exp im))

series354.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
220.0ms
(log (sqrt (exp im)))
70.0ms
(/ (sin re) (exp (log (sqrt (exp im)))))
51.0ms
(/ (/ (sin re) (exp (log (sqrt (exp im))))) (sqrt (exp im)))
13.0ms
(sqrt (exp im))

simplify18.8s

Counts
511 → 349
Calls
511 calls:
Slowest
454.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp (log (sqrt (exp im)))) (exp (log (sqrt (exp im))))) (exp (log (sqrt (exp im))))))
430.0ms
(/ (/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp (log (sqrt (exp im)))) (exp (log (sqrt (exp im))))) (exp (log (sqrt (exp im)))))) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))))
400.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
365.0ms
(/ (* (* (/ (sin re) (exp (log (sqrt (exp im))))) (/ (sin re) (exp (log (sqrt (exp im)))))) (/ (sin re) (exp (log (sqrt (exp im)))))) (* (* (sqrt (exp im)) (sqrt (exp im))) (sqrt (exp im))))
221.0ms
(/ (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp (log (sqrt (exp im))))) (cbrt (exp (log (sqrt (exp im))))))) (* (cbrt (sqrt (exp im))) (cbrt (sqrt (exp im)))))

prune4.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes138.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample8.4s

Algorithm
intervals
Results
3.9s2995×body1280valid
1.9s2474×body640valid
1.4s8615×body80valid
527.0ms1196×body320valid
205.0ms602×body160valid