Details

Time bar (total: 3.0s)

sample24.0ms

Algorithm
intervals
Results
11.0ms331×body80valid

simplify47.0ms

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (* (* x y) y))
0.2b
(* (* x y) y)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
1×exp-prod exp-to-pow associate-*l* *-commutative rem-exp-log
Counts
2 → 28
Calls
2 calls:
15.0ms
(exp (* (* x y) y))
31.0ms
(* (* x y) y)

series88.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(exp (* (* x y) y))
42.0ms
(* (* x y) y)

simplify46.0ms

Counts
34 → 34

prune74.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (log (exp (* x (pow y 2)))))
0.0b
(exp (* x (pow y 2)))
2.3b
(log (exp (* x (pow y 2))))
7.2b
(* x (pow y 2))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
9×add-exp-log exp-prod
8×associate-*r* add-log-exp
6×pow1 log-prod log-pow add-cbrt-cube
4×unpow-prod-down unswap-sqr
3×exp-to-pow associate-*l* exp-sum prod-exp
2×rem-exp-log unpow2 sqr-pow
1×pow-to-exp rem-log-exp pow-exp *-commutative cbrt-unprod
Counts
4 → 68
Calls
4 calls:
10.0ms
(exp (log (exp (* x (pow y 2)))))
9.0ms
(exp (* x (pow y 2)))
5.0ms
(log (exp (* x (pow y 2))))
19.0ms
(* x (pow y 2))

series172.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(exp (log (exp (* x (pow y 2)))))
39.0ms
(exp (* x (pow y 2)))
48.0ms
(log (exp (* x (pow y 2))))
43.0ms
(* x (pow y 2))

simplify149.0ms

Counts
80 → 80

prune202.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* x (pow y 2)))
0.0b
(exp (* x (pow y 2)))
7.2b
(* x (pow y 2))
7.2b
(* x (pow y 2))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
16×associate-*r*
14×add-exp-log
10×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down add-cbrt-cube add-log-exp unswap-sqr
6×associate-*l* prod-exp
4×pow1 unpow2 sqr-pow
2×pow-to-exp exp-prod exp-to-pow pow-exp *-commutative cbrt-unprod rem-exp-log
Counts
4 → 74
Calls
4 calls:
7.0ms
(exp (* x (pow y 2)))
6.0ms
(exp (* x (pow y 2)))
12.0ms
(* x (pow y 2))
15.0ms
(* x (pow y 2))

series145.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(exp (* x (pow y 2)))
31.0ms
(exp (* x (pow y 2)))
35.0ms
(* x (pow y 2))
43.0ms
(* x (pow y 2))

simplify136.0ms

Counts
86 → 86

prune249.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* (* x y) (pow y (/ 2 2))))
0.0b
(exp (* x (pow y 2)))
0.2b
(* (* x y) (pow y (/ 2 2)))
7.2b
(* x (pow y 2))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
15×add-sqr-sqrt associate-*r*
12×prod-exp
11×add-cbrt-cube
9×add-cube-cbrt *-un-lft-identity
8×add-log-exp
7×unpow-prod-down
4×pow1 associate-*l* cbrt-unprod unswap-sqr
3×pow-to-exp pow-exp sqr-pow
2×exp-prod exp-to-pow *-commutative rem-exp-log unpow2
Counts
4 → 71
Calls
4 calls:
11.0ms
(exp (* (* x y) (pow y (/ 2 2))))
6.0ms
(exp (* x (pow y 2)))
29.0ms
(* (* x y) (pow y (/ 2 2)))
12.0ms
(* x (pow y 2))

series134.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(exp (* (* x y) (pow y (/ 2 2))))
33.0ms
(exp (* x (pow y 2)))
35.0ms
(* (* x y) (pow y (/ 2 2)))
32.0ms
(* x (pow y 2))

simplify72.0ms

Counts
83 → 83

prune326.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes61.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify108.0ms

end0.0ms

sample723.0ms

Algorithm
intervals
Results
327.0ms10666×body80valid