Details

Time bar (total: 11.4s)

sample15.0ms

Algorithm
intervals
Results
7.0ms337×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
056
1116
2226
3406
4846
51946
64756
712916
done50016

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.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
2×expm1-log1p-u log1p-expm1-u
1×exp-prod exp-to-pow associate-*l* *-commutative rem-exp-log
Counts
2 → 32
Calls
2 calls:
2.0ms
(exp (* (* x y) y))
6.0ms
(* (* x y) y)

series67.0ms

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

simplify2.7s

Counts
38 → 38
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
057286
1136276
2506235
32124235
done5000235

prune75.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 (pow (* (pow y 2) x) 1))
7.9b
(* (pow y 2) x)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×associate-*l*
7×add-exp-log
6×add-cube-cbrt *-un-lft-identity
5×unpow-prod-down exp-prod
4×add-cbrt-cube unswap-sqr
3×associate-*r* prod-exp add-log-exp sqr-pow
2×pow1 expm1-log1p-u log1p-expm1-u unpow2
1×pow-to-exp pow-exp *-commutative cbrt-unprod rem-exp-log
Counts
2 → 44
Calls
2 calls:
3.0ms
(exp (pow (* (pow y 2) x) 1))
8.0ms
(* (pow y 2) x)

series30.0ms

Counts
2 → 6
Calls
2 calls:
12.0ms
(exp (pow (* (pow y 2) x) 1))
18.0ms
(* (pow y 2) x)

simplify1.9s

Counts
50 → 50
Iterations

Useful iterations: 3 (702.0ms)

IterNodesCost
074407
1141350
2505310
32376305
done5000305

prune126.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow E (pow (* (pow y 2) x) 1))
7.9b
(* (pow y 2) x)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
8×add-exp-log unpow-prod-down associate-*l*
7×add-cube-cbrt *-un-lft-identity
5×pow-unpow
4×add-cbrt-cube unswap-sqr sqr-pow
3×pow1 associate-*r* pow-exp prod-exp
2×expm1-log1p-u pow-to-exp log1p-expm1-u unpow2 add-log-exp
1×e-exp-1 pow-pow *-commutative cbrt-unprod
Counts
2 → 51
Calls
2 calls:
1.0ms
(pow E (pow (* (pow y 2) x) 1))
6.0ms
(* (pow y 2) x)

series39.0ms

Counts
2 → 6
Calls
2 calls:
16.0ms
(pow E (pow (* (pow y 2) x) 1))
22.0ms
(* (pow y 2) x)

simplify1.9s

Counts
57 → 57
Iterations

Useful iterations: 3 (842.0ms)

IterNodesCost
087545
1180441
2626389
32776388
done5001388

prune148.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

7.9b
(* (pow y 2) x)
27.9b
(cbrt (* (pow y 2) x))
27.9b
(cbrt (* (pow y 2) x))
27.9b
(cbrt (* (pow y 2) x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×add-exp-log
8×associate-*l*
7×add-cube-cbrt *-un-lft-identity
6×add-cbrt-cube
4×pow1 expm1-log1p-u unpow-prod-down log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-prod pow1/3 associate-*r* prod-exp
2×unpow2 sqr-pow
1×pow-to-exp pow-exp *-commutative cbrt-unprod
Counts
4 → 62
Calls
4 calls:
5.0ms
(* (pow y 2) x)
2.0ms
(cbrt (* (pow y 2) x))
2.0ms
(cbrt (* (pow y 2) x))
2.0ms
(cbrt (* (pow y 2) x))

series300.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* (pow y 2) x)
93.0ms
(cbrt (* (pow y 2) x))
94.0ms
(cbrt (* (pow y 2) x))
94.0ms
(cbrt (* (pow y 2) x))

simplify1.6s

Counts
74 → 74
Iterations

Useful iterations: done (1.6s)

IterNodesCost
084634
1176603
2495529
31431501
done5000486

prune228.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

regimes27.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: 1 (1.0ms)

IterNodesCost
01224
11722
done1722

end0.0ms

sample367.0ms

Algorithm
intervals
Results
198.0ms10667×body80valid