Details

Time bar (total: 3.0s)

sample17.0ms

Algorithm
intervals
Results
6.0ms303×body80valid

simplify53.0ms

Counts
1 → 1
Iterations

Useful iterations: 7 (14.0ms)

IterNodesCost
0163
1243
2383
3453
4533
5573
6673
73092
821252
950012
done50012

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize4.0ms

Local error

Found 1 expressions with local error:

3.2b
(fma (/ y z) x x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ y z) x x)

series32.0ms

Counts
1 → 3
Calls
1 calls:
32.0ms
(fma (/ y z) x x)

simplify133.0ms

Counts
13 → 13
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02644
16239
220539
384939
4478539
5500139
done500139

prune27.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ y z) x) x)
6.2b
(* (/ y z) x)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*l*
11×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×associate-*r*
2×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u unswap-sqr
1×cbrt-undiv +-commutative distribute-rgt-out fma-def distribute-lft1-in flip3-+ div-exp pow-prod-down associate-*l/ sum-log *-commutative flip-+ div-inv
Counts
2 → 50
Calls
2 calls:
10.0ms
(+ (* (/ y z) x) x)
18.0ms
(* (/ y z) x)

series47.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(+ (* (/ y z) x) x)
21.0ms
(* (/ y z) x)

simplify91.0ms

Counts
56 → 56
Iterations

Useful iterations: 3 (87.0ms)

IterNodesCost
0224212
1833195
23624193
35001191
done5001191

prune111.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.1b
(* (/ (cbrt y) z) x)
3.5b
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) x))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
35×add-cbrt-cube
33×prod-exp
30×add-sqr-sqrt
29×associate-*l*
23×times-frac
22×add-cube-cbrt *-un-lft-identity
20×cbrt-unprod
18×div-exp
16×cbrt-prod
11×pow1
10×cbrt-undiv
6×1-exp
4×expm1-log1p-u associate-*r* pow-prod-down associate-*l/ log1p-expm1-u add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv
1×frac-times associate-*r/
Counts
4 → 117
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
21.0ms
(* (/ (cbrt y) z) x)
47.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) x))

series537.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt y)
189.0ms
(cbrt y)
120.0ms
(* (/ (cbrt y) z) x)
45.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) z) x))

simplify67.0ms

Counts
129 → 129
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0480791
12325609
25001552
done5001552

prune278.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.9b
(/ (* (cbrt y) x) z)
3.5b
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) x) z))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
66×add-exp-log
35×add-cbrt-cube
27×prod-exp
24×div-exp
17×add-sqr-sqrt
16×cbrt-unprod
14×cbrt-undiv
13×*-un-lft-identity
12×add-cube-cbrt
11×times-frac
7×associate-*r* associate-*l*
6×pow1 cbrt-prod 1-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* div-inv unswap-sqr
2×pow1/3
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative associate-/l*
Counts
4 → 104
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
10.0ms
(/ (* (cbrt y) x) z)
41.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) x) z))

series522.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt y)
184.0ms
(cbrt y)
109.0ms
(/ (* (cbrt y) x) z)
45.0ms
(* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) x) z))

simplify68.0ms

Counts
116 → 116
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0457771
12522576
25001514
done5001514

prune234.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes79.0ms

Accuracy

44% (2.0b remaining)

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

bsearch34.0ms

Steps
ItersRangePoint
5
1.6016684812030834e-65
3.239256182848124e-65
2.66479332937493e-65
7
-1.0408640317411258e-116
-1.2533649104422476e-118
-1.0250608159402213e-116

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0277
1277
done277

end0.0ms

sample458.0ms

Algorithm
intervals
Results
194.0ms9648×body80valid