Details

Time bar (total: 13.4s)

sample112.0ms

Algorithm
intervals
Results
35.0ms39×body1280valid
29.0ms235×body80valid
19.0ms31×body640valid
6.0ms16×body320valid
3.0ms12×body160valid

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

rewrite48.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
46.0ms
(* (exp re) (sin im))

series59.0ms

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

simplify657.0ms

Calls
14 calls:
Slowest
356.0ms
(* (* (* (exp re) (exp re)) (exp re)) (* (* (sin im) (sin im)) (sin im)))
232.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
13.0ms
(* (sqrt (exp re)) (sqrt (sin im)))
9.0ms
(* (sqrt (exp re)) (sqrt (sin im)))
9.0ms
(* (sin im) (exp re))

prune181.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

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

rewrite87.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
50.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
28.0ms
(* (sqrt (exp re)) (sin im))
5.0ms
(sqrt (exp re))
2.0ms
(sqrt (exp re))

series170.0ms

Calls
4 calls:
Slowest
87.0ms
(* (sqrt (exp re)) (sin im))
46.0ms
(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
21.0ms
(sqrt (exp re))
16.0ms
(sqrt (exp re))

simplify2.3s

Calls
82 calls:
Slowest
332.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))))
321.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sin im) (sin im)) (sin im)))
266.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
236.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))))
214.0ms
(+ (* 1/8 (* (pow re 2) im)) (+ (* 1/2 (* re im)) im))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

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

rewrite108.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×expm1-log1p-u prod-exp *-commutative cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square
1×pow2 rem-square-sqrt pow-plus sqrt-unprod
Calls
4 calls:
Slowest
78.0ms
(* (* (sqrt (exp re)) (sqrt (exp re))) (sin im))
17.0ms
(* (sqrt (exp re)) (sqrt (exp re)))
5.0ms
(sqrt (exp re))
4.0ms
(sqrt (exp re))

series100.0ms

Calls
4 calls:
Slowest
47.0ms
(* (* (sqrt (exp re)) (sqrt (exp re))) (sin im))
23.0ms
(sqrt (exp re))
22.0ms
(sqrt (exp re))
8.0ms
(* (sqrt (exp re)) (sqrt (exp re)))

simplify2.8s

Calls
163 calls:
Slowest
268.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)))
226.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)))
213.0ms
(+ (* 1/2 (* (pow re 2) im)) (+ (* re im) im))
196.0ms
(* (exp (* (cbrt re) (cbrt re))) (exp (* (cbrt re) (cbrt re))))
152.0ms
(* (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))) (* (* (sqrt (exp re)) (sqrt (exp re))) (sqrt (exp re))))

prune1.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes160.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.4s6948×body80valid
1.1s1525×body1280valid
669.0ms1261×body640valid
264.0ms638×body320valid
63.0ms298×body160valid