Details

Time bar (total: 18.7s)

sample245.0ms

Algorithm
intervals
Results
114.0ms87×body1280valid
56.0ms83×body640valid
37.0ms250×body80valid
17.0ms38×body320valid
6.0ms18×body160valid

simplify152.0ms

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1 add-cbrt-cube add-exp-log add-log-exp
3×associate-/r* associate-*r* associate-*l* insert-posit16
2×flip3-+ associate-*l/ flip-+
1×+-commutative clear-num sum-log frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod div-inv
Calls
3 calls:
Slowest
25.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
11.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
1.0ms
(/ 0.5 (exp im))

series247.0ms

Calls
3 calls:
Slowest
109.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
104.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
33.0ms
(/ 0.5 (exp im))

simplify1.1s

Calls
23 calls:
Slowest
159.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
150.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
147.0ms
(* (* (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (* (cos re) (cos re)) (cos re)))
145.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
134.0ms
(* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re))

prune583.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))))
0.0b
(sqrt (/ 0.5 (exp im)))
0.0b
(sqrt (/ 0.5 (exp im)))
0.0b
(/ 0.5 (exp im))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
13×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
9×pow1
7×associate-*r* associate-*l*
6×add-cbrt-cube pow1/2 sqrt-div add-exp-log
5×div-inv
4×insert-posit16 add-log-exp
3×associate-/r*
2×rem-sqrt-square pow-prod-down pow-prod-up
1×pow2 frac-times clear-num rem-square-sqrt frac-2neg pow-plus sqrt-unprod associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Calls
4 calls:
Slowest
6.0ms
(* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))))
1.0ms
(sqrt (/ 0.5 (exp im)))
1.0ms
(sqrt (/ 0.5 (exp im)))
1.0ms
(/ 0.5 (exp im))

series261.0ms

Calls
4 calls:
Slowest
107.0ms
(* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im))))
73.0ms
(sqrt (/ 0.5 (exp im)))
64.0ms
(sqrt (/ 0.5 (exp im)))
17.0ms
(/ 0.5 (exp im))

simplify1.5s

Calls
55 calls:
Slowest
284.0ms
(- (+ (* 1/8 (* (sqrt 0.5) (pow im 2))) (sqrt 0.5)) (* 1/2 (* (sqrt 0.5) im)))
243.0ms
(- (+ (pow (sqrt 0.5) 2) (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2)))) (* (pow (sqrt 0.5) 2) im))
230.0ms
(- (+ (* 1/8 (* (sqrt 0.5) (pow im 2))) (sqrt 0.5)) (* 1/2 (* (sqrt 0.5) im)))
221.0ms
(* (* (* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im)))) (sqrt (/ 0.5 (exp im)))) (* (* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im)))) (sqrt (/ 0.5 (exp im)))))
85.0ms
(- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

1.2b
(cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
0.0b
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
0.0b
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
0.0b
(/ 0.5 (exp im))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
11×frac-times add-cbrt-cube associate-*l/ add-exp-log
8×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
7×cbrt-div associate-*r/
6×pow-plus pow-prod-up
5×associate-*l*
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
3×pow2 associate-/r*
2×pow3 *-commutative
1×cbrt-prod clear-num frac-2neg pow1/3 rem-cbrt-cube
Calls
4 calls:
Slowest
17.0ms
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
7.0ms
(cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
4.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
1.0ms
(/ 0.5 (exp im))

series144.0ms

Calls
4 calls:
Slowest
53.0ms
(cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
46.0ms
(* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
32.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
14.0ms
(/ 0.5 (exp im))

simplify3.8s

Calls
70 calls:
Slowest
543.0ms
(* (* (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
496.0ms
(* (* (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
282.0ms
(+ (+ (log (/ 0.5 (exp im))) (log (/ 0.5 (exp im)))) (log (/ 0.5 (exp im))))
253.0ms
(+ (log (* (/ 0.5 (exp im)) (/ 0.5 (exp im)))) (log (/ 0.5 (exp im))))
218.0ms
(* (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes104.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.8s2964×body1280valid
1.8s2514×body640valid
1.1s8546×body80valid
598.0ms1273×body320valid
178.0ms679×body160valid