Details

Time bar (total: 31.3s)

sample246.0ms

Algorithm
intervals
Results
115.0ms98×body1280valid
52.0ms80×body640valid
37.0ms259×body80valid
14.0ms31×body320valid
7.0ms24×body160valid

simplify187.0ms

Calls
1 calls:
Slowest
187.0ms
(* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (exp im) (* 0.5 (sin re)))
0.0b
(/ (* 0.5 (sin re)) (exp im))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
36×times-frac
31×*-un-lft-identity add-cube-cbrt
27×associate-*r*
18×associate-*l* add-exp-log
12×add-cbrt-cube associate-/l*
8×prod-exp unswap-sqr
7×pow1
6×*-commutative
4×div-exp cbrt-unprod
3×associate-/r* pow-prod-down
2×cbrt-undiv insert-posit16 add-log-exp
1×clear-num frac-2neg div-inv
Calls
2 calls:
Slowest
42.0ms
(* (exp im) (* 0.5 (sin re)))
18.0ms
(/ (* 0.5 (sin re)) (exp im))

series135.0ms

Calls
2 calls:
Slowest
76.0ms
(* (exp im) (* 0.5 (sin re)))
59.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify4.5s

Calls
121 calls:
Slowest
603.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))
398.0ms
(* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))))
211.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))
200.0ms
(/ (* 0.5 (* (cbrt (sin re)) (cbrt (sin re)))) (* (cbrt (exp im)) (cbrt (exp im))))
190.0ms
(/ (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (exp im) (exp im)) (exp im)))

prune981.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cbrt (exp im)) (cbrt (exp im)))
0.0b
(cbrt (exp im))
0.0b
(cbrt (exp im))
0.0b
(cbrt (exp im))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
8×add-cbrt-cube
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×cbrt-unprod insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Calls
4 calls:
Slowest
17.0ms
(* (cbrt (exp im)) (cbrt (exp im)))
2.0ms
(cbrt (exp im))
2.0ms
(cbrt (exp im))
2.0ms
(cbrt (exp im))

series479.0ms

Calls
4 calls:
Slowest
134.0ms
(cbrt (exp im))
127.0ms
(cbrt (exp im))
119.0ms
(* (cbrt (exp im)) (cbrt (exp im)))
100.0ms
(cbrt (exp im))

simplify1.1s

Calls
68 calls:
Slowest
150.0ms
(* (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))) (exp im))
137.0ms
(* (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))) (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))))
120.0ms
(* (exp im) (* (* (cbrt (exp im)) (cbrt (exp im))) (cbrt (exp im))))
83.0ms
(+ (* 1/18 (pow im 2)) (+ (* 1/3 im) 1))
69.0ms
(* (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))) (* (cbrt (cbrt (exp im))) (cbrt (cbrt (exp im)))))

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (exp (+ im im)))
0.0b
(* (cbrt (exp (+ im im))) (* (cbrt (exp im)) (* 0.5 (sin re))))
0.0b
(cbrt (exp im))
0.0b
(/ (* 0.5 (sin re)) (exp im))

rewrite251.0ms

Algorithm
rewrite-expression-head
Rules
113×add-sqr-sqrt
55×unswap-sqr
54×associate-*r*
41×cbrt-prod
39×*-un-lft-identity add-cube-cbrt
36×times-frac
32×add-cbrt-cube
29×associate-*l*
23×cbrt-unprod
21×add-exp-log
14×exp-sum
13×pow1
12×associate-/l*
8×prod-exp
7×+-commutative *-commutative
6×pow-prod-down
4×div-exp insert-posit16 add-log-exp
3×associate-/r*
2×cbrt-undiv pow1/3
1×clear-num frac-2neg div-inv
Calls
4 calls:
Slowest
187.0ms
(* (cbrt (exp (+ im im))) (* (cbrt (exp im)) (* 0.5 (sin re))))
34.0ms
(/ (* 0.5 (sin re)) (exp im))
21.0ms
(cbrt (exp (+ im im)))
3.0ms
(cbrt (exp im))

series449.0ms

Calls
4 calls:
Slowest
162.0ms
(* (cbrt (exp (+ im im))) (* (cbrt (exp im)) (* 0.5 (sin re))))
115.0ms
(cbrt (exp im))
105.0ms
(cbrt (exp (+ im im)))
66.0ms
(/ (* 0.5 (sin re)) (exp im))

simplify10.2s

Calls
199 calls:
Slowest
508.0ms
(* (exp (+ im im)) (* (exp im) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))))
480.0ms
(* (exp (+ im im)) (* (exp im) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))))
329.0ms
(* 0.5 (* (pow (* (exp (* 2 im)) (exp im)) 1/3) (sin re)))
321.0ms
(* 0.5 (* (pow (* (exp (* 2 im)) (exp im)) 1/3) (sin re)))
291.0ms
(+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2)))))

prune2.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes133.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample9.0s

Algorithm
intervals
Results
4.1s3024×body1280valid
2.0s8604×body80valid
1.8s2451×body640valid
697.0ms1252×body320valid
178.0ms619×body160valid