Details

Time bar (total: 34.4s)

sample276.0ms

Algorithm
intervals
Results
117.0ms90×body1280valid
61.0ms92×body640valid
45.0ms300×body80valid
21.0ms42×body320valid
9.0ms24×body160valid

simplify222.0ms

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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

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

series163.0ms

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

simplify2.6s

Counts
57 → 47
Calls
57 calls:
Slowest
708.0ms
(* (* (fma (sin re) (exp im) (/ (sin re) (exp im))) (fma (sin re) (exp im) (/ (sin re) (exp im)))) (fma (sin re) (exp im) (/ (sin re) (exp im))))
477.0ms
(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
423.0ms
(- re (+ (* re im) (* 1/6 (pow re 3))))
178.0ms
(* (* (/ (sin re) (exp im)) (/ (sin re) (exp im))) (/ (sin re) (exp im)))
176.0ms
(- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3)))

prune477.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
4×*-un-lft-identity associate-*r*
3×pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt associate-*r/ add-cube-cbrt
1×distribute-rgt-in expm1-log1p-u distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
Counts
1 → 26
Calls
1 calls:
Slowest
132.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))

series75.0ms

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

simplify5.6s

Counts
30 → 29
Calls
30 calls:
Slowest
513.0ms
(* (* (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
420.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im))))
381.0ms
(exp (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
367.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im))))
281.0ms
(* (* 0.5 (sin re)) (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3)))

prune312.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.4b
(* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- 0 im)) (exp im))))
0.4b
(* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))

rewrite394.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1 add-cbrt-cube add-exp-log
14×sqrt-div associate-*r*
10×*-un-lft-identity associate-*r/
9×pow-prod-down prod-exp cbrt-unprod
8×sqrt-prod
7×flip3-+ flip-+
6×add-sqr-sqrt add-cube-cbrt
4×frac-times
2×expm1-log1p-u associate-*l* associate-*l/ *-commutative insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp
Counts
2 → 63
Calls
2 calls:
Slowest
265.0ms
(* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- 0 im)) (exp im))))
128.0ms
(* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))

series224.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
124.0ms
(* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))
100.0ms
(* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- 0 im)) (exp im))))

simplify13.5s

Counts
71 → 69
Calls
71 calls:
Slowest
896.0ms
(* (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))))
590.0ms
(* (* (* 0.5 (sin re)) (sqrt (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im))))) (sqrt (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im)))))
424.0ms
(* (* (* 0.5 (sin re)) (sqrt (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3)))) (sqrt (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3))))
421.0ms
(- (+ (* 0.5 (* (sqrt 2) re)) (* 0.25 (/ (* re (pow im 2)) (sqrt 2)))) (* 0.08333333333333333 (* (sqrt 2) (pow re 3))))
370.0ms
(* (* (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))) (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))) (* (* (sqrt (+ (exp (- 0 im)) (exp im))) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- 0 im)) (exp im)))))

prune856.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes203.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample9.2s

Algorithm
intervals
Results
3.6s2909×body1280valid
3.0s2379×body640valid
1.3s8317×body80valid
665.0ms1252×body320valid
235.0ms654×body160valid