Details

Time bar (total: 17.9s)

sample27.0ms

Algorithm
intervals
Results
10.0ms274×body80valid

simplify435.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11911
23811
36011
48811
512211
622311
766811
done500011

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.4b

localize11.0ms

Local error

Found 1 expressions with local error:

12.1b
(/ (- x (* y z)) (- t (* a z)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×add-exp-log associate-/r* add-cbrt-cube associate-/l*
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u frac-2neg div-sub div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
29.0ms
(/ (- x (* y z)) (- t (* a z)))

series86.0ms

Counts
1 → 3
Calls
1 calls:
86.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify2.2s

Counts
37 → 37
Iterations

Useful iterations: done (2.2s)

IterNodesCost
078620
1209606
2819562
34741559
done5000558

prune135.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 12.0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ x (- t (* a z))) (/ (* y z) (- t (* a z))))
2.6b
(/ x (- t (* a z)))
12.5b
(/ (* y z) (- t (* a z)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
148×times-frac
135×prod-diff
118×add-sqr-sqrt
115×*-un-lft-identity
113×add-cube-cbrt
58×associate-/r/
30×flip3-- flip--
29×div-inv
15×fma-neg
10×add-exp-log add-cbrt-cube
6×associate-/r*
5×add-log-exp
4×associate-/l*
3×pow1 cbrt-undiv expm1-log1p-u distribute-rgt-out-- div-exp log1p-expm1-u
2×frac-2neg clear-num difference-of-squares
1×sub-neg diff-log prod-exp frac-sub cbrt-unprod distribute-lft-out-- sub-div
Counts
3 → 228
Calls
3 calls:
99.0ms
(- (/ x (- t (* a z))) (/ (* y z) (- t (* a z))))
17.0ms
(/ x (- t (* a z)))
23.0ms
(/ (* y z) (- t (* a z)))

series277.0ms

Counts
3 → 9
Calls
3 calls:
143.0ms
(- (/ x (- t (* a z))) (/ (* y z) (- t (* a z))))
60.0ms
(/ x (- t (* a z)))
74.0ms
(/ (* y z) (- t (* a z)))

simplify1.6s

Counts
237 → 237
Iterations

Useful iterations: done (1.6s)

IterNodesCost
031012360
175510386
229088418
done50028054

prune720.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.9b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z)))
2.5b
(/ y (/ (- t (* a z)) z))
2.6b
(/ x (- t (* a z)))
7.7b
(/ (- t (* a z)) z)

rewrite334.0ms

Algorithm
rewrite-expression-head
Rules
1499×times-frac
923×add-sqr-sqrt
908×*-un-lft-identity
902×add-cube-cbrt
660×prod-diff
112×div-inv
108×associate-/r/
48×flip3-- flip--
19×associate-/r*
15×fma-neg
13×add-exp-log add-cbrt-cube
9×associate-/l*
6×add-log-exp difference-of-squares
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u
3×frac-2neg clear-num
2×associate-/l/ distribute-lft-out--
1×sub-neg diff-log div-sub frac-sub
Counts
4 → 833
Calls
4 calls:
150.0ms
(- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z)))
21.0ms
(/ y (/ (- t (* a z)) z))
17.0ms
(/ x (- t (* a z)))
30.0ms
(/ (- t (* a z)) z)

series322.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(- (/ x (- t (* a z))) (/ y (/ (- t (* a z)) z)))
58.0ms
(/ y (/ (- t (* a z)) z))
57.0ms
(/ x (- t (* a z)))
63.0ms
(/ (- t (* a z)) z)

simplify1.3s

Counts
845 → 845
Iterations

Useful iterations: done (1.3s)

IterNodesCost
0108863919
1261259987
done500048484

prune3.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t z) a)
0.0b
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
2.5b
(/ y (- (/ t z) a))
2.6b
(/ x (- t (* a z)))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
651×add-sqr-sqrt
616×times-frac
500×*-un-lft-identity
399×prod-diff
389×add-cube-cbrt
104×difference-of-squares
84×associate-/r/
54×distribute-lft-out--
46×div-inv
44×flip3-- flip--
28×fma-neg
9×associate-/r*
8×add-exp-log add-cbrt-cube add-log-exp
6×associate-/l*
4×pow1 expm1-log1p-u log1p-expm1-u
2×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num
1×frac-sub
Counts
4 → 540
Calls
4 calls:
24.0ms
(- (/ t z) a)
125.0ms
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
57.0ms
(/ y (- (/ t z) a))
14.0ms
(/ x (- t (* a z)))

series285.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- (/ t z) a)
135.0ms
(- (/ x (- t (* a z))) (/ y (- (/ t z) a)))
60.0ms
(/ y (- (/ t z) a))
59.0ms
(/ x (- t (* a z)))

simplify2.3s

Counts
552 → 552
Iterations

Useful iterations: 2 (879.0ms)

IterNodesCost
066331251
1150928538
2472322876
done500022876

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.1b

regimes269.0ms

Accuracy

53% (0.9b remaining)

Error of 2.5b against oracle of 1.5b and baseline of 3.5b

bsearch100.0ms

Steps
ItersRangePoint
7
1.7737391721442364e+105
6.3102064235986234e+106
1.8895975095505939e+105
9
-1.9262914057726097e+49
-9.520387931416606e+42
-6.001449073744407e+43

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
036103
144103
done44103

end0.0ms

sample1.3s

Algorithm
intervals
Results
475.0ms8728×body80valid