Details

Time bar (total: 12.1s)

sample23.0ms

Algorithm
intervals
Results
9.0ms316×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1117
2227
3447
4737
51027
62407
76517
819267
done50007

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.9b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- y z))
9.4b
(/ (* x (- y z)) y)

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×add-cube-cbrt prod-diff
11×distribute-rgt-in distribute-lft-in
9×add-exp-log add-cbrt-cube
5×associate-*r*
4×pow1 associate-*r/
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv expm1-log1p-u sub-neg flip3-- div-exp prod-exp flip-- cbrt-unprod log1p-expm1-u associate-/l/ add-log-exp
1×frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 71
Calls
2 calls:
38.0ms
(* x (- y z))
38.0ms
(/ (* x (- y z)) y)

series187.0ms

Counts
2 → 6
Calls
2 calls:
79.0ms
(* x (- y z))
108.0ms
(/ (* x (- y z)) y)

simplify886.0ms

Counts
77 → 77
Iterations

Useful iterations: done (884.0ms)

IterNodesCost
01401001
1351820
21627674
done5002646

prune156.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (/ (* x z) y))
3.8b
(/ (* x z) y)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
21×prod-diff
20×add-sqr-sqrt *-un-lft-identity
18×add-cube-cbrt
12×times-frac
7×add-exp-log add-cbrt-cube
4×div-inv add-log-exp
3×fma-neg associate-/r*
2×pow1 cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u
1×sub-neg flip3-- frac-2neg diff-log prod-exp clear-num flip-- cbrt-unprod associate-/l* distribute-lft-out-- difference-of-squares
Counts
2 → 63
Calls
2 calls:
21.0ms
(- x (/ (* x z) y))
11.0ms
(/ (* x z) y)

series91.0ms

Counts
2 → 6
Calls
2 calls:
40.0ms
(- x (/ (* x z) y))
51.0ms
(/ (* x z) y)

simplify1.1s

Counts
69 → 69
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01251264
13221027
21747816
done5001781

prune234.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ 1 (/ y (* x z))))
0.5b
(/ 1 (/ y (* x z)))
3.7b
(/ y (* x z))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
128×times-frac
97×add-sqr-sqrt
94×*-un-lft-identity
90×add-cube-cbrt
78×prod-diff
29×add-exp-log
19×div-inv
17×add-cbrt-cube
14×div-exp
8×associate-/r*
7×cbrt-undiv
6×associate-/l*
5×add-log-exp
4×pow1 prod-exp associate-/r/
3×expm1-log1p-u rec-exp fma-neg 1-exp log1p-expm1-u difference-of-squares
2×frac-2neg clear-num cbrt-unprod distribute-lft-out--
1×sub-neg flip3-- pow-flip diff-log flip-- inv-pow
Counts
3 → 181
Calls
3 calls:
49.0ms
(- x (/ 1 (/ y (* x z))))
38.0ms
(/ 1 (/ y (* x z)))
15.0ms
(/ y (* x z))

series138.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(- x (/ 1 (/ y (* x z))))
39.0ms
(/ 1 (/ y (* x z)))
30.0ms
(/ y (* x z))

simplify4.2s

Counts
190 → 190
Iterations

Useful iterations: done (4.2s)

IterNodesCost
03265648
18614303
240333035
done50003014

prune349.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma 1 x (- (/ x (/ y z))))
5.6b
(/ x (/ y z))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
44×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×associate-/r*
7×add-exp-log add-cbrt-cube
5×div-inv
3×cbrt-undiv div-exp associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×frac-2neg clear-num associate-/r/ fma-udef
Counts
2 → 82
Calls
2 calls:
1.0ms
(fma 1 x (- (/ x (/ y z))))
19.0ms
(/ x (/ y z))

series89.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(fma 1 x (- (/ x (/ y z))))
33.0ms
(/ x (/ y z))

simplify1.2s

Counts
88 → 88
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01651036
1396971
21755893
done5001887

prune418.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes181.0ms

Accuracy

51.4% (2.3b remaining)

Error of 2.3b against oracle of 0.0b and baseline of 4.8b

bsearch204.0ms

Steps
ItersRangePoint
7
4.8167541412417644e+175
1.1712012132719947e+178
1.1461163295630468e+178
8
3.394150247141357e+54
1.2705026570022814e+57
3.0230890692117494e+56
9
-2.112870040738988e+102
-3.95521858538452e+96
-2.135421934910599e+97
6
-1.1106267047825454e+196
-1.9122700904232187e+195
-8.641964883760676e+195

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02863
13563
23663
done3663

end0.0ms

sample998.0ms

Algorithm
intervals
Results
506.0ms9663×body80valid