Details

Time bar (total: 25.2s)

sample209.0ms

Algorithm
intervals
Results
105.0ms92×body1280valid
42.0ms79×body640valid
29.0ms263×body80valid
12.0ms34×body320valid
5.0ms17×body160valid

simplify180.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.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)) (cos re))
0.0b
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))

rewrite29.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
17.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))

series157.0ms

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

simplify1.3s

Calls
23 calls:
Slowest
227.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
163.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)))
144.0ms
(* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re))
140.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
120.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))

prune512.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
14×sqrt-div
12×associate-*l*
11×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
10×associate-*l/
7×flip3-+ flip-+
6×associate-/r* sqrt-prod
4×frac-times associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
2×clear-num frac-2neg associate-*r/ *-commutative div-inv
Calls
4 calls:
Slowest
42.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))
12.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))
1.0ms
(/ 0.5 (exp im))
0.0ms
(/ 0.5 (exp im))

series202.0ms

Calls
4 calls:
Slowest
91.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))
80.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))
19.0ms
(/ 0.5 (exp im))
12.0ms
(/ 0.5 (exp im))

simplify7.3s

Calls
55 calls:
Slowest
980.0ms
(* (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (* (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (* (* (cos re) (cos re)) (cos re))))
651.0ms
(* (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (* (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))) (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re))))
503.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))))) (sqrt (- (/ 0.5 (exp im)) (* (exp im) 0.5))))
441.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))))) (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))))))
436.0ms
(* (sqrt (- (/ 0.5 (exp im)) (* (exp im) 0.5))) (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))))))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

1.0b
(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.0b
(/ 0.5 (exp im))

rewrite24.0ms

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

series94.0ms

Calls
4 calls:
Slowest
41.0ms
(cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
30.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
14.0ms
(/ 0.5 (exp im))
9.0ms
(/ 0.5 (exp im))

simplify1.4s

Calls
42 calls:
Slowest
219.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))))
140.0ms
(- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
138.0ms
(- (+ (cbrt 0.125) (* 1/2 (* (cbrt 0.125) (pow im 2)))) (* (cbrt 0.125) im))
124.0ms
(- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
102.0ms
(cbrt (* (* 0.5 (/ 0.5 (exp im))) (/ 0.5 (exp im))))

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

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

series129.0ms

Calls
4 calls:
Slowest
77.0ms
(* (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (sqrt (cos re))) (sqrt (cos re)))
23.0ms
(sqrt (cos re))
15.0ms
(sqrt (cos re))
14.0ms
(/ 0.5 (exp im))

simplify2.0s

Calls
38 calls:
Slowest
244.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))) (* (* (sqrt (cos re)) (sqrt (cos re))) (sqrt (cos re)))) (* (* (sqrt (cos re)) (sqrt (cos re))) (sqrt (cos re))))
212.0ms
(* (* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (sqrt (cos re))) (sqrt (cos re)))
210.0ms
(* (* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (sqrt (cos re))) (sqrt (cos re)))
164.0ms
(- 1 (+ (* 1/4 (pow re 2)) (* 1/96 (pow re 4))))
149.0ms
(* (* (* (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (sqrt (cos re))) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (sqrt (cos re)))) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (sqrt (cos re)))) (* (* (sqrt (cos re)) (sqrt (cos re))) (sqrt (cos re))))

prune898.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes123.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample8.1s

Algorithm
intervals
Results
3.4s2915×body1280valid
1.6s2492×body640valid
1.4s1224×body320valid
1.2s8451×body80valid
232.0ms619×body160valid