Details

Time bar (total: 11.6s)

sample25.0ms

Algorithm
intervals
Results
12.0ms341×body80valid

simplify9.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (5.0ms)

IterNodesCost
067
197
2117
3136
4146
done146

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize5.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)

series30.0ms

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

simplify3.0s

Counts
13 → 13
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
019110
127107
26095
316995
453795
5207495
done500195

prune43.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite48.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:
36.0ms
(+ (/ (pow y 2) z) x)
9.0ms
(/ (pow y 2) z)

series56.0ms

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

simplify1.1s

Counts
99 → 99
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0117730
1221668
2522585
31659585
done5000570

prune334.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize20.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))

rewrite175.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:
127.0ms
(+ (/ (pow y (/ 2 2)) (/ z y)) x)
23.0ms
(/ (pow y (/ 2 2)) (/ z y))

series69.0ms

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

simplify1.6s

Counts
248 → 248
Iterations

Useful iterations: done (1.6s)

IterNodesCost
02742986
15782241
216331632
done50001556

prune1.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ 1 z) (* y y)) x)
9.0b
(* (/ 1 z) (* y y))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
24×add-exp-log
14×add-cbrt-cube
13×add-sqr-sqrt associate-*l*
12×prod-exp
11×times-frac
10×*-un-lft-identity
9×add-cube-cbrt
7×pow1
6×cbrt-unprod
4×div-exp add-log-exp
3×pow-prod-down unswap-sqr
2×cbrt-undiv expm1-log1p-u rec-exp 1-exp log1p-expm1-u
1×+-commutative fma-def flip3-+ associate-*r* associate-*l/ sum-log *-commutative flip-+ div-inv
Counts
2 → 56
Calls
2 calls:
23.0ms
(+ (* (/ 1 z) (* y y)) x)
41.0ms
(* (/ 1 z) (* y y))

series66.0ms

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

simplify2.7s

Counts
62 → 62
Iterations

Useful iterations: 2 (165.0ms)

IterNodesCost
0104668
1258518
2716416
32046416
done5000416

prune104.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes71.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: 2 (3.0ms)

IterNodesCost
0911
1119
2137
done137

end0.0ms

sample949.0ms

Algorithm
intervals
Results
407.0ms10594×body80valid