Details

Time bar (total: 12.6s)

sample97.0ms

Algorithm
intervals
Results
32.0ms39×body1280valid
26.0ms235×body80valid
17.0ms31×body640valid
6.0ms16×body320valid
3.0ms12×body160valid

simplify7.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 1 expressions with local error:

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

rewrite46.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×pow-prod-down *-commutative cbrt-unprod insert-posit16 add-log-exp unswap-sqr
Calls
1 calls:
Slowest
45.0ms
(* (exp re) (sin im))

series52.0ms

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

simplify484.0ms

Calls
14 calls:
Slowest
286.0ms
(* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
137.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
8.0ms
(+ (log (exp re)) (log (sin im)))
7.0ms
(* (sin im) (exp re))
7.0ms
(* (sin im) (exp re))

prune195.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
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
0.0b
(sqrt (exp re))
0.0b
(sqrt (exp re))
0.0b
(* (sqrt (exp re)) (sin im))

rewrite96.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×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×*-commutative
2×rem-sqrt-square pow1/2
Calls
4 calls:
Slowest
59.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
27.0ms
(* (sqrt (exp re)) (sin im))
4.0ms
(sqrt (exp re))
4.0ms
(sqrt (exp re))

series158.0ms

Calls
4 calls:
Slowest
72.0ms
(* (sqrt (exp re)) (sin im))
47.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
21.0ms
(sqrt (exp re))
17.0ms
(sqrt (exp re))

simplify2.0s

Calls
82 calls:
Slowest
372.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))))
330.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))
254.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))))
156.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
146.0ms
(+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im))

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
86×add-sqr-sqrt
50×sqrt-prod
41×associate-*l*
34×sqrt-pow1
32×*-un-lft-identity add-cube-cbrt
26×pow1
24×exp-prod
23×unswap-sqr
20×swap-sqr
15×associate-*r*
11×add-cbrt-cube add-exp-log
10×pow1/2
9×pow-prod-down
8×pow-prod-up
6×pow-sqr
4×prod-exp *-commutative cbrt-unprod insert-posit16 add-log-exp
2×rem-sqrt-square
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Calls
4 calls:
Slowest
93.0ms
(* (* (sqrt (exp re)) (sqrt (exp re))) (sin im))
35.0ms
(* (sqrt (exp re)) (sqrt (exp re)))
2.0ms
(sqrt (exp re))
2.0ms
(sqrt (exp re))

series109.0ms

Calls
4 calls:
Slowest
69.0ms
(* (* (sqrt (exp re)) (sqrt (exp re))) (sin im))
18.0ms
(sqrt (exp re))
13.0ms
(sqrt (exp re))
9.0ms
(* (sqrt (exp re)) (sqrt (exp re)))

simplify2.8s

Calls
163 calls:
Slowest
264.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)))
251.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)))
204.0ms
(* (exp (* (cbrt re) (cbrt re))) (exp (* (cbrt re) (cbrt re))))
190.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
105.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))))

prune1.6s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes205.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.6s1525×body1280valid
933.0ms6948×body80valid
745.0ms1261×body640valid
207.0ms638×body320valid
65.0ms298×body160valid