Details

Time bar (total: 1.5m)

sample206.0ms

Algorithm
intervals
Results
85.0ms76×body1280valid
50.0ms80×body640valid
32.0ms260×body80valid
17.0ms46×body320valid
5.0ms20×body160valid

simplify203.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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

rewrite114.0ms

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

series241.0ms

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

simplify2.3s

Calls
47 calls:
Slowest
478.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
294.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
200.0ms
(* (exp (/ 0.5 (exp im))) (exp (* (exp im) 0.5)))
198.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
167.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)))

prune705.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
276×times-frac
160×add-sqr-sqrt
158×*-un-lft-identity add-cube-cbrt
144×sqrt-prod
28×associate-/r*
13×add-cbrt-cube
11×add-exp-log
9×div-inv associate-/l*
6×pow1 add-log-exp
4×cbrt-undiv div-exp insert-posit16
3×associate-*r* associate-*l*
2×clear-num frac-2neg flip3-+ associate-*l/ flip-+
1×+-commutative sum-log pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod unswap-sqr
Calls
4 calls:
Slowest
73.0ms
(* (+ (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5))) (* (exp im) 0.5)) (cos re))
44.0ms
(+ (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5))) (* (exp im) 0.5))
17.0ms
(/ (sqrt 0.5) (/ (exp im) (sqrt 0.5)))
13.0ms
(/ (exp im) (sqrt 0.5))

series523.0ms

Calls
4 calls:
Slowest
224.0ms
(* (+ (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5))) (* (exp im) 0.5)) (cos re))
141.0ms
(+ (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5))) (* (exp im) 0.5))
94.0ms
(/ (sqrt 0.5) (/ (exp im) (sqrt 0.5)))
63.0ms
(/ (exp im) (sqrt 0.5))

simplify15.8s

Calls
367 calls:
Slowest
565.0ms
(* (exp (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5)))) (exp (* (exp im) 0.5)))
507.0ms
(- (+ (* 0.5 im) (+ (* 0.25 (pow im 2)) (+ (pow (sqrt 0.5) 2) (+ (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2))) 0.5)))) (* (pow (sqrt 0.5) 2) im))
448.0ms
(- (+ (* 0.5 im) (+ (* 0.25 (pow im 2)) (+ (pow (sqrt 0.5) 2) (+ (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2))) 0.5)))) (* (pow (sqrt 0.5) 2) im))
439.0ms
(/ (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (/ (* (* (exp im) (exp im)) (exp im)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5))))
307.0ms
(- (+ (pow (sqrt 0.5) 2) (* 1/2 (* (pow (sqrt 0.5) 2) (pow im 2)))) (* (pow (sqrt 0.5) 2) im))

prune3.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize96.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×times-frac
13×add-cbrt-cube
11×add-exp-log
9×associate-/r*
8×associate-/r/
7×associate-/l*
6×frac-add add-log-exp
4×pow1 cbrt-undiv flip3-- div-exp associate-*l/ insert-posit16 flip--
3×clear-num frac-2neg div-inv
2×frac-times flip3-+ associate-*r/ flip-+ associate-/l/
1×sub-neg distribute-rgt-out-- diff-log prod-exp cbrt-unprod
Calls
4 calls:
Slowest
603.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)))) (cos re)) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))
445.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
5.0ms
(/ 0.5 (exp im))
5.0ms
(/ 0.5 (exp im))

series400.0ms

Calls
4 calls:
Slowest
296.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)))) (cos re)) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))
56.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
24.0ms
(/ 0.5 (exp im))
24.0ms
(/ 0.5 (exp im))

simplify12.3s

Calls
89 calls:
Slowest
538.0ms
(/ (cos re) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))
531.0ms
(+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
529.0ms
(/ (cos re) (cbrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))
525.0ms
(sqrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))
494.0ms
(cbrt (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize67.0ms

Local error

Found 4 expressions with local error:

6.1b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
6.1b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
6.1b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
0.2b
(/ (* (+ (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im)))) (cos re)) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))))

rewrite851.0ms

Algorithm
rewrite-expression-head
Rules
162×cbrt-div
110×frac-times
84×flip3-- flip--
80×associate-/r/
78×frac-add
70×associate-*l/
50×associate-*r/
10×add-log-exp
9×add-cbrt-cube add-exp-log
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 insert-posit16
3×associate-/r* sub-neg times-frac distribute-rgt-out-- diff-log
2×cbrt-undiv flip3-+ div-exp flip-+ associate-/l/
1×clear-num frac-2neg prod-exp cbrt-unprod div-inv associate-/l*
Calls
4 calls:
Slowest
612.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)))) (cos re)) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))))
96.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
76.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
58.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))

series450.0ms

Calls
4 calls:
Slowest
269.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)))) (cos re)) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))))
73.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
54.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
53.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))

simplify36.4s

Calls
117 calls:
Slowest
1.1s
(/ (* (* (* (+ (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im)))) (cos re)) (* (+ (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im)))) (cos re))) (* (+ (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (* 0.5 (exp im)) (* 0.5 (exp im))) (* 0.5 (exp im)))) (cos re))) (* (* (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))))
747.0ms
(* (* (exp im) (exp im)) (* (cbrt (+ (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (* (exp im) 0.5) (* (exp im) 0.5))) (+ (* (* (/ 0.5 (exp im)) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))))) (cbrt (+ (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (* (exp im) 0.5) (* (exp im) 0.5))) (+ (* (* (/ 0.5 (exp im)) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))))
733.0ms
(/ (* (+ (* 0.125 (/ 1 (pow (exp im) 3))) (* 0.125 (pow (exp im) 3))) (cos re)) (- (+ (* 0.25 (pow (exp im) 2)) (* 0.25 (/ 1 (pow (exp im) 2)))) 0.25))
535.0ms
(/ (exp (* (* (exp im) 0.5) (* (exp im) 0.5))) (exp (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
529.0ms
(* (* (exp im) (exp im)) (* (* (cbrt (+ (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (+ (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cbrt (+ (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))))

prune3.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes149.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample8.1s

Algorithm
intervals
Results
3.6s2909×body1280valid
1.7s8511×body80valid
1.7s2481×body640valid
635.0ms1283×body320valid
207.0ms601×body160valid