Details

Time bar (total: 19.9s)

sample262.0ms

Algorithm
intervals
Results
94.0ms93×body1280valid
83.0ms68×body640valid
39.0ms276×body80valid
18.0ms39×body320valid
6.0ms19×body160valid

simplify216.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite20.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
19.0ms
(/ (sin re) (exp im))
0.0ms
(fma (sin re) (exp im) (/ (sin re) (exp im)))

series138.0ms

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

simplify1.5s

Counts
31 → 47
Calls
31 calls:
Slowest
427.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
397.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
361.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
38.0ms
(/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im))))
31.0ms
(/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im)))

prune507.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ 1 (/ (exp im) (sin re)))
0.1b
(/ (exp im) (sin re))
0.0b
(fma (sin re) (exp im) (/ 1 (/ (exp im) (sin re))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
53×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-/r*
12×add-exp-log
10×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
4×pow1 cbrt-undiv
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp
1×associate-/r/ fma-udef pow-flip inv-pow
Counts
3 → 120
Calls
3 calls:
Slowest
18.0ms
(/ 1 (/ (exp im) (sin re)))
14.0ms
(/ (exp im) (sin re))
0.0ms
(fma (sin re) (exp im) (/ 1 (/ (exp im) (sin re))))

series228.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
110.0ms
(fma (sin re) (exp im) (/ 1 (/ (exp im) (sin re))))
72.0ms
(/ 1 (/ (exp im) (sin re)))
46.0ms
(/ (exp im) (sin re))

simplify6.7s

Counts
135 → 129
Calls
135 calls:
Slowest
776.0ms
(/ (* (* 1 1) 1) (* (* (/ (exp im) (sin re)) (/ (exp im) (sin re))) (/ (exp im) (sin re))))
423.0ms
(/ (* (* (exp im) (exp im)) (exp im)) (* (* (sin re) (sin re)) (sin re)))
325.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))
324.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (sin re)) (cbrt (sin re)))))
301.0ms
(/ (sqrt 1) (/ (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (sin re)) (cbrt (sin re)))))

prune1.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes91.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.7s

Algorithm
intervals
Results
4.2s2917×body1280valid
1.8s2523×body640valid
1.4s8537×body80valid
775.0ms1235×body320valid
193.0ms644×body160valid