Details

Time bar (total: 11.1s)

sample17.0ms

Algorithm
intervals
Results
7.0ms339×body80valid

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (4.0ms)

IterNodesCost
067
197
2117
3136
4146
done146

prune8.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:

0.1b
(fma (/ y z) y 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) y x)

series25.0ms

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

simplify2.2s

Counts
13 → 13
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
019110
129107
27195
319595
469395
5368995
done500195

prune33.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (pow y 2) z) x)
10.7b
(/ (pow y 2) z)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
36×*-un-lft-identity
34×add-sqr-sqrt add-cube-cbrt
28×fma-def
21×unpow-prod-down
8×associate-/l*
7×add-exp-log unpow2 sqr-pow
4×add-cbrt-cube add-log-exp
3×div-exp associate-/r*
2×pow1 expm1-log1p-u log1p-expm1-u div-inv
1×cbrt-undiv +-commutative pow-to-exp frac-2neg flip3-+ pow-exp clear-num sum-log flip-+ distribute-lft-out
Counts
2 → 93
Calls
2 calls:
23.0ms
(+ (/ (pow y 2) z) x)
5.0ms
(/ (pow y 2) z)

series44.0ms

Counts
2 → 6
Calls
2 calls:
25.0ms
(+ (/ (pow y 2) z) x)
18.0ms
(/ (pow y 2) z)

simplify3.2s

Counts
99 → 99
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
0117730
1228668
2735585
33997585
done5000585

prune226.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (pow y (/ 2 2)) (/ z y)) x)
0.1b
(/ (pow y (/ 2 2)) (/ z y))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
317×times-frac
164×*-un-lft-identity
162×add-sqr-sqrt add-cube-cbrt
96×fma-def
81×unpow-prod-down
27×sqr-pow
17×div-inv
15×add-exp-log
13×associate-/r*
9×div-exp
7×add-cbrt-cube associate-/l*
4×add-log-exp
3×cbrt-undiv
2×pow1 expm1-log1p-u pow-to-exp pow-exp associate-/r/ log1p-expm1-u
1×+-commutative frac-2neg flip3-+ clear-num sum-log flip-+ distribute-lft-out
Counts
2 → 242
Calls
2 calls:
67.0ms
(+ (/ (pow y (/ 2 2)) (/ z y)) x)
8.0ms
(/ (pow y (/ 2 2)) (/ z y))

series42.0ms

Counts
2 → 6
Calls
2 calls:
23.0ms
(+ (/ (pow y (/ 2 2)) (/ z y)) x)
19.0ms
(/ (pow y (/ 2 2)) (/ z y))

simplify1.1s

Counts
248 → 248
Iterations

Useful iterations: 2 (220.0ms)

IterNodesCost
02742986
16112295
227142031
done50002031

prune714.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (/ (pow y 1) z) (/ 1 y)) x)
0.2b
(/ (/ (pow y 1) z) (/ 1 y))

rewrite300.0ms

Algorithm
rewrite-expression-head
Rules
1676×times-frac
740×*-un-lft-identity
738×add-sqr-sqrt add-cube-cbrt
330×fma-def
243×unpow-prod-down
81×sqr-pow
80×div-inv
46×add-exp-log
36×div-exp
25×associate-/l*
14×add-cbrt-cube
13×associate-/r*
8×cbrt-undiv
4×pow-to-exp rec-exp 1-exp pow-exp add-log-exp
2×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u
1×+-commutative frac-2neg flip3-+ clear-num sum-log flip-+ associate-/l/ distribute-lft-out
Counts
2 → 741
Calls
2 calls:
209.0ms
(+ (/ (/ (pow y 1) z) (/ 1 y)) x)
19.0ms
(/ (/ (pow y 1) z) (/ 1 y))

series42.0ms

Counts
2 → 6
Calls
2 calls:
23.0ms
(+ (/ (/ (pow y 1) z) (/ 1 y)) x)
19.0ms
(/ (/ (pow y 1) z) (/ 1 y))

simplify843.0ms

Counts
747 → 747
Iterations

Useful iterations: done (828.0ms)

IterNodesCost
07119558
121156861
done50016057

prune1.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes72.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11011
done1011

end0.0ms

sample457.0ms

Algorithm
intervals
Results
229.0ms10625×body80valid