Details

Time bar (total: 6.1s)

sample31.0ms

Algorithm
intervals
Results
16.0ms349×body80valid

simplify891.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
1116
2226
3406
4846
52046
67156
done50016

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite46.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:
17.0ms
(exp (* (* x y) y))
28.0ms
(* (* x y) y)

series82.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(exp (* (* x y) y))
43.0ms
(* (* x y) y)

simplify818.0ms

Counts
34 → 34
Iterations

Useful iterations: done (816.0ms)

IterNodesCost
053260
1138252
21044217
done5001213

prune64.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* (* x y) y))
0.0b
(* (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))))
0.1b
(* (* x y) y)
0.1b
(* (* x y) y)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
32×sqrt-pow1
29×pow1
26×add-sqr-sqrt
18×sqrt-prod add-log-exp
16×add-exp-log add-cbrt-cube
14×add-cube-cbrt *-un-lft-identity
13×exp-prod exp-to-pow pow-prod-down
12×associate-*r*
9×pow-prod-up
8×pow1/2 swap-sqr associate-*l*
7×prod-exp pow-sqr cbrt-unprod
4×unswap-sqr
3×*-commutative
1×pow2 pow-plus sqrt-unprod rem-square-sqrt rem-exp-log
Counts
4 → 107
Calls
4 calls:
8.0ms
(exp (* (* x y) y))
36.0ms
(* (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))))
21.0ms
(* (* x y) y)
20.0ms
(* (* x y) y)

series137.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(exp (* (* x y) y))
37.0ms
(* (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))))
31.0ms
(* (* x y) y)
33.0ms
(* (* x y) y)

simplify954.0ms

Counts
119 → 119
Iterations

Useful iterations: done (951.0ms)

IterNodesCost
0981451
12341010
21395869
done5001850

prune237.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x y) y)
0.1b
(* (* x y) y)
0.1b
(* (* x y) y)
4.9b
(* x (pow y 2))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
21×add-cbrt-cube
19×pow1
17×associate-*r*
16×add-sqr-sqrt
12×prod-exp
10×add-cube-cbrt *-un-lft-identity cbrt-unprod
9×pow-prod-down
6×associate-*l*
4×unpow-prod-down *-commutative add-log-exp unswap-sqr
2×unpow2 sqr-pow
1×pow-to-exp pow-exp
Counts
4 → 81
Calls
4 calls:
22.0ms
(* (* x y) y)
30.0ms
(* (* x y) y)
25.0ms
(* (* x y) y)
17.0ms
(* x (pow y 2))

series143.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* x y) y)
31.0ms
(* (* x y) y)
42.0ms
(* (* x y) y)
39.0ms
(* x (pow y 2))

simplify1.2s

Counts
93 → 93
Iterations

Useful iterations: done (1.2s)

IterNodesCost
073703
1194665
21217556
done5000542

prune402.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes70.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
176
done76

end0.0ms

sample791.0ms

Algorithm
intervals
Results
357.0ms10659×body80valid