Details

Time bar (total: 48.0s)

sample621.0ms

Algorithm
intervals
Results
452.0ms281×body80valid
75.0ms92×body1280valid
58.0ms98×body640valid
13.0ms34×body320valid
4.0ms16×body160valid

simplify203.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
203.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

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

rewrite84.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
Counts
3 → 61
Calls
3 calls:
Slowest
60.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
14.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
9.0ms
(/ 0.5 (exp im))

series177.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
95.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
67.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
15.0ms
(/ 0.5 (exp im))

simplify2.3s

Counts
47 → 70
Calls
47 calls:
Slowest
367.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
291.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
212.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
203.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)))
157.0ms
(* (exp (/ 0.5 (exp im))) (exp (* (exp im) 0.5)))

prune619.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize31.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))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
29×*-un-lft-identity add-cube-cbrt
24×pow1 sqrt-div
18×times-frac sqrt-prod
15×add-cbrt-cube
13×add-exp-log
12×flip3-+ associate-*l/ flip-+
9×associate-*r*
8×frac-times sqrt-pow1 pow1/2 swap-sqr
7×associate-*l*
6×associate-/r* pow-prod-down associate-/l*
5×pow-prod-up unswap-sqr
4×prod-exp associate-*r/ cbrt-unprod insert-posit16 add-log-exp
3×pow-sqr
2×cbrt-undiv clear-num frac-2neg div-exp *-commutative div-inv
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Counts
4 → 142
Calls
4 calls:
Slowest
187.0ms
(* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re))
95.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
10.0ms
(/ 0.5 (exp im))
9.0ms
(/ 0.5 (exp im))

series246.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
128.0ms
(* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re))
68.0ms
(* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
26.0ms
(/ 0.5 (exp im))
25.0ms
(/ 0.5 (exp im))

simplify10.3s

Counts
155 → 154
Calls
155 calls:
Slowest
534.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))))
493.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
460.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))))))
447.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))))))
446.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)))))

prune1.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize102.0ms

Local error

Found 4 expressions with local error:

4.7b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
0.0b
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
0.0b
(* (* (exp im) 0.5) (* (exp im) 0.5))
0.0b
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
89×pow1
44×add-sqr-sqrt
40×times-frac add-cbrt-cube
35×pow-prod-down
32×*-un-lft-identity add-cube-cbrt
28×add-exp-log
20×prod-exp cbrt-unprod
15×swap-sqr associate-*r* associate-*l*
9×pow-sqr pow-prod-up
6×add-log-exp
5×pow-plus
4×cbrt-undiv div-exp insert-posit16 div-inv unswap-sqr
3×pow2 *-commutative
1×frac-times sub-neg flip3-- distribute-rgt-out-- diff-log associate-*l/ associate-*r/ flip--
Counts
4 → 152
Calls
4 calls:
Slowest
80.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))
47.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
41.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
27.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

series162.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
52.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
46.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))
39.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
25.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

simplify8.9s

Counts
157 → 164
Calls
157 calls:
Slowest
716.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))))
716.0ms
(* (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (exp im) 0.5)) (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (exp im) 0.5)))
495.0ms
(/ (exp (* (* (exp im) 0.5) (* (exp im) 0.5))) (exp (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
451.0ms
(* (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))))
307.0ms
(+ (* 0.3333333333333333 (pow im 3)) (+ (* 0.5 (pow im 2)) (* 0.5 im)))

prune3.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
36×*-un-lft-identity add-cube-cbrt
27×times-frac
16×cbrt-prod
12×cbrt-div
11×pow1
10×add-cbrt-cube
9×associate-/r* add-exp-log associate-/l*
6×flip3-+ pow1/3 swap-sqr associate-*r* associate-*l* flip-+
4×frac-times insert-posit16 add-log-exp unswap-sqr
3×cbrt-undiv clear-num frac-2neg div-exp div-inv
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 133
Calls
4 calls:
Slowest
86.0ms
(* (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
10.0ms
(/ 0.5 (exp im))
6.0ms
(/ 0.5 (exp im))
5.0ms
(/ 0.5 (exp im))

series392.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
325.0ms
(* (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
25.0ms
(/ 0.5 (exp im))
24.0ms
(/ 0.5 (exp im))
18.0ms
(/ 0.5 (exp im))

simplify8.5s

Counts
143 → 145
Calls
143 calls:
Slowest
975.0ms
(* (cbrt (- (/ 0.5 (exp im)) (* (exp im) 0.5))) (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))))))
542.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))))) (cbrt (- (/ 0.5 (exp im)) (* (exp im) 0.5))))
484.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)))))
475.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
473.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes105.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample8.0s

Algorithm
intervals
Results
3.1s2972×body1280valid
2.1s8553×body80valid
1.7s2506×body640valid
642.0ms1322×body320valid
170.0ms648×body160valid