Details

Time bar (total: 23.5s)

sample52.0ms

Algorithm
intervals
Results
26.0ms266×body80valid

simplify5.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01317
12517
23917
36417
411417
520117
640317
794617
8251517
done500117

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.6b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.0b
(+ x (/ (- (* y z) x) (- (* t z) x)))
0.5b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
10.3b
(/ (- (* y z) x) (- (* t z) x))

rewrite310.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity
25×times-frac
24×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
4×pow1 expm1-log1p-u div-sub associate-/r/ log1p-expm1-u associate-/l/
3×flip3-- fma-def flip3-+ prod-diff flip-- flip-+
2×cbrt-undiv associate-+r- frac-2neg div-exp clear-num div-inv
1×+-commutative sub-neg fma-neg diff-log sum-log
Counts
4 → 113
Calls
4 calls:
9.0ms
(- (* t z) x)
41.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
208.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
49.0ms
(/ (- (* y z) x) (- (* t z) x))

series423.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(- (* t z) x)
131.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
172.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
94.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify3.4s

Counts
125 → 125
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
01822295
14542174
213082039
344982030
done50002030

prune494.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (- (fma (/ y (- (* t z) x)) z x) (/ x (- (* t z) x))) (+ x 1.0))
2.2b
(/ y (- (* t z) x))
2.7b
(fma (/ y (- (* t z) x)) z x)
3.4b
(/ x (- (* t z) x))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
56×*-un-lft-identity
47×times-frac
32×add-cube-cbrt
12×associate-/l*
10×add-exp-log associate-/r* add-cbrt-cube difference-of-squares
7×distribute-lft-out
6×associate-/r/
5×distribute-lft-out--
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv
2×associate-/l/
1×flip3-+ div-sub flip-+ fma-udef
Counts
4 → 125
Calls
4 calls:
145.0ms
(/ (- (fma (/ y (- (* t z) x)) z x) (/ x (- (* t z) x))) (+ x 1.0))
14.0ms
(/ y (- (* t z) x))
0.0ms
(fma (/ y (- (* t z) x)) z x)
16.0ms
(/ x (- (* t z) x))

series371.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(/ (- (fma (/ y (- (* t z) x)) z x) (/ x (- (* t z) x))) (+ x 1.0))
43.0ms
(/ y (- (* t z) x))
76.0ms
(fma (/ y (- (* t z) x)) z x)
75.0ms
(/ x (- (* t z) x))

simplify3.0s

Counts
137 → 137
Iterations

Useful iterations: done (2.9s)

IterNodesCost
02152892
14892833
212792663
334482657
done50002651

prune547.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (+ x 1.0) (- (fma (/ y (- (* t z) x)) z x) (/ x (- (* t z) x))))
2.2b
(/ y (- (* t z) x))
2.7b
(fma (/ y (- (* t z) x)) z x)
3.4b
(/ x (- (* t z) x))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
56×*-un-lft-identity
47×times-frac
32×add-cube-cbrt
12×associate-/r*
10×add-exp-log add-cbrt-cube associate-/l* difference-of-squares
7×distribute-lft-out
6×associate-/r/
5×distribute-lft-out--
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv
2×associate-/l/
1×flip3-+ flip-+ fma-udef
Counts
4 → 124
Calls
4 calls:
105.0ms
(/ (+ x 1.0) (- (fma (/ y (- (* t z) x)) z x) (/ x (- (* t z) x))))
21.0ms
(/ y (- (* t z) x))
1.0ms
(fma (/ y (- (* t z) x)) z x)
27.0ms
(/ x (- (* t z) x))

series384.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(/ (+ x 1.0) (- (fma (/ y (- (* t z) x)) z x) (/ x (- (* t z) x))))
43.0ms
(/ y (- (* t z) x))
84.0ms
(fma (/ y (- (* t z) x)) z x)
75.0ms
(/ x (- (* t z) x))

simplify2.7s

Counts
136 → 136
Iterations

Useful iterations: done (2.7s)

IterNodesCost
02032816
14252738
210992606
329422606
done50012601

prune630.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.5b

localize37.0ms

Local error

Found 4 expressions with local error:

2.7b
(fma (/ y (- (* t z) x)) z x)
2.7b
(fma (/ y (- (* t z) x)) z x)
2.7b
(fma (/ y (- (* t z) x)) z x)
3.4b
(/ x (- (* t z) x))

rewrite40.0ms

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

series333.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(fma (/ y (- (* t z) x)) z x)
82.0ms
(fma (/ y (- (* t z) x)) z x)
94.0ms
(fma (/ y (- (* t z) x)) z x)
86.0ms
(/ x (- (* t z) x))

simplify3.3s

Counts
73 → 73
Iterations

Useful iterations: done (3.3s)

IterNodesCost
084910
1173899
2429806
31005806
42690797
done5000791

prune417.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.5b

regimes185.0ms

Accuracy

33.8% (2.8b remaining)

Error of 3.0b against oracle of 0.3b and baseline of 4.4b

bsearch133.0ms

Steps
ItersRangePoint
8
7.919573863902682e+100
1.1952579770947319e+104
1.9728299479740938e+102
8
-4.54654182428058e-19
-1.68366429347926e-23
-4.421382369170155e-19

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03060
13760
done3760

end0.0ms

sample1.4s

Algorithm
intervals
Results
870.0ms8311×body80valid