Details

Time bar (total: 47.4s)

sample231.0ms

Algorithm
intervals
Results
91.0ms94×body1280valid
62.0ms276×body80valid
40.0ms67×body640valid
17.0ms39×body320valid
6.0ms19×body160valid

simplify192.0ms

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

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

rewrite108.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
68.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
29.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
10.0ms
(/ 0.5 (exp im))

series178.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
90.0ms
(* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
70.0ms
(+ (/ 0.5 (exp im)) (* (exp im) 0.5))
17.0ms
(/ 0.5 (exp im))

simplify2.2s

Counts
47 → 70
Calls
47 calls:
Slowest
366.0ms
(* (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (cos re))
346.0ms
(/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
219.0ms
(* (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (cos re))
177.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)))
147.0ms
(- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))

prune653.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

7.5b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
0.1b
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
0.1b
(* (* (exp im) 0.5) (* (exp im) 0.5))
0.0b
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

rewrite236.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
78.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
71.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
64.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))
20.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

series173.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
61.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
42.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
40.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
29.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))

simplify8.5s

Counts
157 → 164
Calls
157 calls:
Slowest
997.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)))
653.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))))
493.0ms
(/ (exp (* (* (exp im) 0.5) (* (exp im) 0.5))) (exp (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
433.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)))))
263.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))))

prune2.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize73.0ms

Local error

Found 4 expressions with local error:

7.5b
(- (* (exp im) 0.5) (/ 0.5 (exp im)))
0.1b
(* (* 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)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
84×add-sqr-sqrt
80×times-frac
60×*-un-lft-identity add-cube-cbrt
57×pow1
40×add-cbrt-cube
28×add-exp-log
27×swap-sqr associate-*r* associate-*l*
19×pow-prod-down
16×prod-exp cbrt-unprod
8×cbrt-undiv div-exp div-inv unswap-sqr
6×pow-sqr pow-prod-up add-log-exp
4×pow-plus insert-posit16
3×pow2 *-commutative
2×frac-times associate-*l/ associate-*r/
1×sub-neg flip3-- diff-log flip--
Counts
4 → 184
Calls
4 calls:
Slowest
41.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
29.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
20.0ms
(- (* (exp im) 0.5) (/ 0.5 (exp im)))
20.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
128.0ms
(- (* (exp im) 0.5) (/ 0.5 (exp im)))
43.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
34.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
30.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

simplify9.1s

Counts
198 → 196
Calls
198 calls:
Slowest
581.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))))
419.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)))))
409.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)))))
337.0ms
(+ (* 0.16666666666666666 (pow im 3)) (+ (* 0.008333333333333333 (pow im 5)) (* 1.0 im)))
236.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))))

prune2.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize99.0ms

Local error

Found 4 expressions with local error:

7.5b
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
0.1b
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
0.1b
(* (* (exp im) 0.5) (* (exp im) 0.5))
0.0b
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

rewrite222.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
86.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
64.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))
50.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
20.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))

series157.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
50.0ms
(- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5)))
40.0ms
(* (/ 0.5 (exp im)) (/ 0.5 (exp im)))
33.0ms
(* (* 0.5 (exp im)) (* 0.5 (exp im)))
32.0ms
(* (* (exp im) 0.5) (* (exp im) 0.5))

simplify8.6s

Counts
157 → 164
Calls
157 calls:
Slowest
734.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))))
663.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)))
555.0ms
(/ (exp (* (* (exp im) 0.5) (* (exp im) 0.5))) (exp (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
503.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)))))
310.0ms
(+ (* 0.3333333333333333 (pow im 3)) (+ (* 0.5 (pow im 2)) (* 0.5 im)))

prune2.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes94.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch4.0ms

end0.0ms

sample8.5s

Algorithm
intervals
Results
3.5s2916×body1280valid
2.6s2523×body640valid
1.4s8539×body80valid
518.0ms1239×body320valid
173.0ms641×body160valid