Details

Time bar (total: 15.9s)

sample238.0ms

Algorithm
intervals
Results
116.0ms98×body1280valid
50.0ms88×body640valid
34.0ms286×body80valid
17.0ms46×body320valid
3.0ms13×body160valid

simplify219.0ms

Calls
1 calls:
Slowest
219.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* 0.5 (cos re)) (exp im))
0.0b
(fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
3×associate-/r* times-frac add-exp-log
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 associate-/l*
Calls
2 calls:
Slowest
5.0ms
(/ (* 0.5 (cos re)) (exp im))
0.0ms
(fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im)))

series130.0ms

Calls
2 calls:
Slowest
80.0ms
(fma (exp im) (* 0.5 (cos re)) (/ (* 0.5 (cos re)) (exp im)))
50.0ms
(/ (* 0.5 (cos re)) (exp im))

simplify760.0ms

Calls
17 calls:
Slowest
189.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
161.0ms
(/ (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im)))
144.0ms
(- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
71.0ms
(+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
48.0ms
(+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))

prune365.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (exp (- im)) (exp im))
0.0b
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
4×add-sqr-sqrt pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt add-log-exp
3×fma-def
2×expm1-log1p-u flip3-+ associate-*r/ flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
1×distribute-rgt-in +-commutative sum-log distribute-lft-in associate-*l* pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
2 calls:
Slowest
17.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
7.0ms
(+ (exp (- im)) (exp im))

series123.0ms

Calls
2 calls:
Slowest
87.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
36.0ms
(+ (exp (- im)) (exp im))

simplify1.6s

Calls
21 calls:
Slowest
353.0ms
(* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
192.0ms
(+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))
187.0ms
(* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))
179.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
170.0ms
(* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re)))

prune462.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

7.6b
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
0.1b
(pow (exp (- im)) 3)
0.1b
(pow (exp im) 3)
0.1b
(* (exp (- im)) (exp (- im)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
20×exp-prod
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×pow1
8×exp-neg add-cbrt-cube
7×neg-sub0 exp-diff
6×unpow-prod-down pow-pow cube-prod add-log-exp
5×neg-mul-1 pow-prod-down pow-prod-up
4×expm1-log1p-u frac-times add-exp-log insert-posit16 log1p-expm1-u
3×associate-*r* associate-*l*
2×cube-div cube-mult pow-to-exp unpow3 associate-*l/ pow-exp associate-*r/ rem-cube-cbrt
1×pow2 sub-neg pow-plus flip3-- distribute-rgt-out-- fma-neg diff-log prod-diff prod-exp un-div-inv *-commutative cbrt-unprod flip--
Calls
4 calls:
Slowest
25.0ms
(* (exp (- im)) (exp (- im)))
7.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
2.0ms
(pow (exp (- im)) 3)
1.0ms
(pow (exp im) 3)

series80.0ms

Calls
4 calls:
Slowest
38.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
15.0ms
(pow (exp (- im)) 3)
14.0ms
(pow (exp im) 3)
11.0ms
(* (exp (- im)) (exp (- im)))

simplify2.3s

Calls
81 calls:
Slowest
245.0ms
(* (* (* (exp (- im)) (exp (- im))) (exp (- im))) (* (* (exp (- im)) (exp (- im))) (exp (- im))))
240.0ms
(+ (* 4/3 (pow im 3)) (+ (* 2 (pow im 2)) (* 2 im)))
112.0ms
(- (pow (exp im) 2) (* (exp im) (exp (* -1 im))))
109.0ms
(- (+ (* 9/2 (pow im 2)) 1) (* 3 im))
107.0ms
(- (+ (* 2 (pow im 2)) 1) (* 2 im))

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes196.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.2s3054×body1280valid
1.9s2427×body640valid
1.5s8452×body80valid
601.0ms1251×body320valid
285.0ms658×body160valid