Details

Time bar (total: 20.0s)

sample93.0ms

Algorithm
intervals
Results
10.0ms326×body80valid

simplify13.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
1117
2127
done127

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.2b
(* (* y z) z)

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
1×associate-*l* *-commutative add-log-exp
Counts
1 → 18
Calls
1 calls:
53.0ms
(* (* y z) z)

series41.0ms

Counts
1 → 3
Calls
1 calls:
41.0ms
(* (* y z) z)

simplify5.2s

Counts
21 → 21
Iterations

Useful iterations: 4 (1.4s)

IterNodesCost
036157
193152
2338122
3689122
4986121
52778121
done5001121

prune71.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 1 expressions with local error:

9.5b
(* (pow z 2) y)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×associate-*l*
6×add-exp-log
4×add-cube-cbrt unpow-prod-down *-un-lft-identity unswap-sqr
3×associate-*r* prod-exp add-cbrt-cube
2×unpow2 sqr-pow
1×pow1 pow-to-exp pow-exp *-commutative cbrt-unprod add-log-exp
Counts
1 → 27
Calls
1 calls:
26.0ms
(* (pow z 2) y)

series35.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(* (pow z 2) y)

simplify5.6s

Counts
30 → 30
Iterations

Useful iterations: 2 (97.0ms)

IterNodesCost
048229
1101210
2279177
3830177
43857177
done5000177

prune105.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (pow (sqrt z) 2) (* y z))
0.2b
(pow (sqrt z) 2)

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
12×unpow-prod-down
11×associate-*l*
9×prod-exp
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×add-cbrt-cube
6×sqrt-prod
4×pow1
3×pow-to-exp pow-unpow pow-pow pow-exp cbrt-unprod
2×unpow2 add-log-exp sqr-pow
1×sqrt-pow1 pow1/2 associate-*r* *-commutative sqrt-pow2
Counts
2 → 52
Calls
2 calls:
44.0ms
(* (pow (sqrt z) 2) (* y z))
4.0ms
(pow (sqrt z) 2)

series97.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(* (pow (sqrt z) 2) (* y z))
46.0ms
(pow (sqrt z) 2)

simplify2.2s

Counts
58 → 58
Iterations

Useful iterations: done (2.2s)

IterNodesCost
0111554
1272481
2674307
32368301
done5000294

prune181.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))
3.9b
(* y (pow z 3/2))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
33×add-exp-log
24×prod-exp
13×add-sqr-sqrt associate-*l*
10×unpow-prod-down
9×add-cbrt-cube
8×pow-to-exp add-cube-cbrt *-un-lft-identity associate-*r* pow-exp
4×cbrt-unprod
3×sqrt-prod unswap-sqr sqr-pow
2×pow1 *-commutative add-log-exp
Counts
2 → 58
Calls
2 calls:
55.0ms
(* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))
19.0ms
(* y (pow z 3/2))

series244.0ms

Counts
2 → 6
Calls
2 calls:
109.0ms
(* (pow (sqrt z) (/ 2 2)) (* y (pow z 3/2)))
134.0ms
(* y (pow z 3/2))

simplify4.2s

Counts
64 → 64
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
0117815
1294656
2835538
33978528
done5000528

prune211.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes180.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
done97

end0.0ms

sample1.2s

Algorithm
intervals
Results
723.0ms10697×body80valid