Details

Time bar (total: 1.5m)

sample80.0ms

Algorithm
intervals
Results
33.0ms58×body1280valid
18.0ms231×body80valid
13.0ms35×body640valid
3.0ms12×body320valid
1.0ms7×body160valid

simplify7.0ms

Calls
1 calls:
Slowest
7.0ms
(* (exp re) (sin im))

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
4×add-exp-log
3×pow1 *-un-lft-identity add-cbrt-cube associate-*r* associate-*l* add-cube-cbrt
2×prod-exp
1×expm1-log1p-u pow-prod-down *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Calls
1 calls:
Slowest
24.0ms
(* (exp re) (sin im))

series47.0ms

Calls
1 calls:
Slowest
47.0ms
(* (exp re) (sin im))

simplify531.0ms

Calls
14 calls:
Slowest
294.0ms
(* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
183.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
10.0ms
(* (sqrt (exp re)) (sqrt (sin im)))
7.0ms
(* (exp re) (sin im))
6.0ms
(* (sqrt (exp re)) (sqrt (sin im)))

prune232.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
0.0b
(* (sqrt (exp re)) (sin im))
0.0b
(sqrt (exp re))
0.0b
(sqrt (exp re))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
22×associate-*r* sqrt-prod
18×associate-*l*
17×*-un-lft-identity add-cube-cbrt
14×unswap-sqr
13×pow1
11×add-cbrt-cube add-exp-log
8×sqrt-pow1
6×exp-prod
4×expm1-log1p-u pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×rem-sqrt-square pow1/2
Calls
4 calls:
Slowest
90.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
15.0ms
(* (sqrt (exp re)) (sin im))
2.0ms
(sqrt (exp re))
2.0ms
(sqrt (exp re))

series163.0ms

Calls
4 calls:
Slowest
75.0ms
(* (sqrt (exp re)) (sin im))
61.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
14.0ms
(sqrt (exp re))
13.0ms
(sqrt (exp re))

simplify2.2s

Calls
82 calls:
Slowest
377.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))))
292.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im))))
274.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))
224.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
211.0ms
(+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im))

prune1.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (exp re))
0.0b
(cbrt (exp re))
0.0b
(* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (* (sqrt (exp re)) (sin im)))
0.0b
(* (sqrt (exp re)) (sin im))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
73×add-sqr-sqrt
36×unswap-sqr
35×associate-*l*
31×associate-*r*
26×sqrt-prod
18×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
13×cbrt-prod
9×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×pow1/3
Calls
4 calls:
Slowest
123.0ms
(* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (* (sqrt (exp re)) (sin im)))
14.0ms
(* (sqrt (exp re)) (sin im))
2.0ms
(cbrt (exp re))
2.0ms
(cbrt (exp re))

series391.0ms

Calls
4 calls:
Slowest
123.0ms
(* (* (fabs (cbrt (exp re))) (sqrt (cbrt (exp re)))) (* (sqrt (exp re)) (sin im)))
120.0ms
(cbrt (exp re))
91.0ms
(cbrt (exp re))
58.0ms
(* (sqrt (exp re)) (sin im))

simplify5.2s

Calls
103 calls:
Slowest
398.0ms
(* (* (fabs (pow (exp re) 1/3)) (sin im)) (pow (pow (exp re) 2) 1/3))
337.0ms
(* (* (fabs (pow (exp re) 1/3)) (sin im)) (pow (pow (exp re) 2) 1/3))
313.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))
291.0ms
(+ (* 2/9 (* (pow re 2) (* (fabs (pow (exp re) 1/3)) im))) (+ (* 2/3 (* re (* (fabs (pow (exp re) 1/3)) im))) (* (fabs (pow (exp re) 1/3)) im)))
256.0ms
(* (* (* (* (fabs (cbrt (exp re))) (fabs (cbrt (exp re)))) (fabs (cbrt (exp re)))) (* (* (sqrt (cbrt (exp re))) (sqrt (cbrt (exp re)))) (sqrt (cbrt (exp re))))) (* (* (* (sqrt (exp re)) (sin im)) (* (sqrt (exp re)) (sin im))) (* (sqrt (exp re)) (sin im))))

prune1.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im)))
0.0b
(* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
0.0b
(cbrt (sqrt (exp re)))
0.0b
(cbrt (sqrt (exp re)))

rewrite386.0ms

Algorithm
rewrite-expression-head
Rules
904×add-sqr-sqrt
592×unswap-sqr
474×cbrt-prod
293×sqrt-prod
175×associate-*l*
82×swap-sqr
73×add-cbrt-cube cbrt-unprod
46×associate-*r*
41×*-un-lft-identity add-cube-cbrt
32×pow1
27×add-exp-log
17×pow-prod-down *-commutative
16×prod-exp
8×pow1/3
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow-sqr pow-prod-up
1×pow2 pow-plus
Calls
4 calls:
Slowest
324.0ms
(* (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im)))
29.0ms
(* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
4.0ms
(cbrt (sqrt (exp re)))
4.0ms
(cbrt (sqrt (exp re)))

series407.0ms

Calls
4 calls:
Slowest
116.0ms
(cbrt (sqrt (exp re)))
114.0ms
(cbrt (sqrt (exp re)))
104.0ms
(* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re))))
73.0ms
(* (* (* (cbrt (sqrt (exp re))) (cbrt (sqrt (exp re)))) (cbrt (sqrt (exp re)))) (* (sqrt (exp re)) (sin im)))

simplify1.1m

Calls
564 calls:
Slowest
731.0ms
(* (* (* (cbrt (sqrt (sqrt (exp re)))) (cbrt (sqrt (sqrt (exp re))))) (cbrt (sqrt (sqrt (exp re))))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))))
581.0ms
(* (* (* (cbrt (sqrt (sqrt (exp re)))) (sqrt (cbrt (sqrt (exp re))))) (cbrt (sqrt (sqrt (exp re))))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))))
428.0ms
(* (* (* (cbrt (sqrt (sqrt (exp re)))) (cbrt (sqrt (sqrt (exp re))))) (cbrt (sqrt (sqrt (exp re))))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))))
412.0ms
(* (* (* (cbrt (sqrt (sqrt (exp re)))) (cbrt (sqrt (sqrt (exp re))))) (cbrt (sqrt (sqrt (exp re))))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))))
399.0ms
(* (* (* (cbrt (sqrt (sqrt (exp re)))) (cbrt (sqrt (sqrt (exp re))))) (cbrt (sqrt (sqrt (exp re))))) (* (sqrt (sqrt (exp re))) (sqrt (sin im))))

prune5.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes290.0ms

Accuracy

0% (0.1b remaining)

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

bsearch7.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.3s1563×body1280valid
1.1s1231×body640valid
737.0ms6919×body80valid
180.0ms591×body320valid
62.0ms306×body160valid