Details

Time bar (total: 6.8m)

sample186.0ms

Algorithm
intervals
Results
84.0ms76×body1280valid
38.0ms80×body640valid
26.0ms260×body80valid
17.0ms46×body320valid
5.0ms20×body160valid

simplify612.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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

rewrite26.0ms

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

series167.0ms

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

simplify995.0ms

Calls
19 calls:
Slowest
185.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
170.0ms
(/ (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (exp im) (exp im)) (exp im)))
155.0ms
(/ (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (exp im) (exp im)) (exp im)))
132.0ms
(- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
67.0ms
(- (+ (log 0.5) (log (cos re))) im)

prune467.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

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

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt associate-*r* add-cube-cbrt add-log-exp
3×fma-def pow-prod-down prod-exp cbrt-unprod
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* *-commutative
Calls
2 calls:
Slowest
72.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
14.0ms
(+ (exp (- im)) (exp im))

series140.0ms

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

simplify2.6s

Calls
24 calls:
Slowest
534.0ms
(* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))
436.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))))
231.0ms
(* 0.5 (* (+ (exp im) (exp (* -1 im))) (cos re)))
208.0ms
(* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
206.0ms
(* 0.5 (* (cos re) (+ (exp (- im)) (exp im))))

prune523.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
0.2b
(/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
0.1b
(pow (exp im) 3)
0.0b
(pow (exp (- im)) 3)

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
28×add-sqr-sqrt add-cube-cbrt
27×times-frac
22×unpow-prod-down cube-prod
20×associate-/r/ distribute-lft-out
18×frac-add
15×exp-neg pow-pow
13×neg-sub0 exp-prod exp-diff
10×flip3-- flip--
9×associate-/l*
8×frac-times add-cbrt-cube
6×pow1 pow-unpow add-exp-log add-log-exp
4×expm1-log1p-u associate-*l/ associate-*r/ sum-cubes insert-posit16 log1p-expm1-u
3×distribute-lft-neg-in associate-/r* distribute-rgt-neg-in
2×cube-div cube-mult pow-to-exp flip3-+ unpow3 pow-exp un-div-inv flip-+ rem-cube-cbrt sqr-pow associate-/l/
1×cbrt-undiv clear-num neg-mul-1 sub-neg frac-2neg distribute-rgt-out-- fma-neg diff-log div-exp prod-diff div-inv
Calls
4 calls:
Slowest
189.0ms
(/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
14.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
7.0ms
(pow (exp (- im)) 3)
6.0ms
(pow (exp im) 3)

series410.0ms

Calls
4 calls:
Slowest
279.0ms
(/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
53.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
43.0ms
(pow (exp im) 3)
34.0ms
(pow (exp (- im)) 3)

simplify30.6s

Calls
143 calls:
Slowest
899.0ms
(* (exp im) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- im)) (exp im)) (* (exp (- im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))
742.0ms
(/ (* (* (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* (* (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))
678.0ms
(* (exp im) (+ (* (exp im) (exp im)) (* (exp (- im)) (exp im))))
653.0ms
(* (exp im) (+ (* (exp im) (exp im)) (* (exp (- im)) (exp im))))
641.0ms
(* (exp im) (+ (* (exp im) (exp im)) (* (exp (- im)) (exp im))))

prune2.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize70.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
6.1b
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
0.3b
(/ (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))
0.2b
(sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))

rewrite628.0ms

Algorithm
rewrite-expression-head
Rules
846×times-frac
758×*-un-lft-identity
429×sqrt-prod
340×add-sqr-sqrt
338×add-cube-cbrt
210×distribute-lft-out
180×sqrt-div
168×unpow-prod-down cube-prod
162×frac-add
160×associate-/r/
126×exp-neg
108×neg-sub0 exp-diff
83×flip3-- flip--
78×associate-/l*
72×frac-times
42×sum-cubes
36×associate-*l/ associate-*r/
18×un-div-inv
9×flip3-+ add-cbrt-cube add-exp-log flip-+
8×div-inv add-log-exp
6×associate-/r*
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp
2×sub-neg distribute-rgt-out-- fma-neg diff-log prod-diff
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 hypot-def associate-/l/
Calls
4 calls:
Slowest
405.0ms
(/ (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))
156.0ms
(sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
14.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
14.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))

series604.0ms

Calls
4 calls:
Slowest
267.0ms
(/ (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))
170.0ms
(sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))
84.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))
84.0ms
(- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))

simplify5.7m

Calls
1094 calls:
Slowest
916.0ms
(/ (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (sqrt (+ (* (* (exp 0) (exp 0)) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- im)) (exp im)) (* (exp (- im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (* (* (exp im) (exp im)) (- (pow (* (exp im) (exp im)) 3) (pow (* (exp (- im)) (exp im)) 3)))))) (sqrt (* (cbrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))) (cbrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))))
883.0ms
(/ (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (sqrt (+ (* (* (exp 0) (exp 0)) (+ (* (* (exp im) (exp im)) (* (exp im) (exp im))) (+ (* (* (exp (- im)) (exp im)) (* (exp (- im)) (exp im))) (* (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (* (* (exp im) (exp im)) (- (pow (* (exp im) (exp im)) 3) (pow (* (exp (- im)) (exp im)) 3)))))) (sqrt (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))))
852.0ms
(/ (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (sqrt (cbrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))) (cbrt (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))))
834.0ms
(/ (/ (cbrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (cbrt (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))))
834.0ms
(/ (/ (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (sqrt (* (cbrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))) (cbrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))))) 1)

prune15.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes316.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample8.6s

Algorithm
intervals
Results
3.3s2909×body1280valid
1.9s2481×body640valid
1.7s8511×body80valid
1.1s1283×body320valid
257.0ms601×body160valid