Details

Time bar (total: 11.8s)

sample63.0ms

Algorithm
intervals
Results
42.0ms265×body80valid

simplify794.0ms

Counts
1 → 1
Iterations
IterNodes
done2001
71321
6488
5206
4113
364
239
125
013

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.2b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (- (* y z) x) (- (* t z) x)))
0.0b
(- (* y z) x)
0.2b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
11.4b
(/ (- (* y z) x) (- (* t z) x))

rewrite256.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-cbrt-cube add-exp-log add-log-exp
7×associate-/r* associate-/l*
4×expm1-log1p-u pow1 div-sub associate-/r/ insert-posit16 log1p-expm1-u associate-/l/
3×fma-def flip3-+ flip3-- prod-diff flip-+ flip--
2×cbrt-undiv clear-num associate-+r- frac-2neg div-exp div-inv
1×+-commutative sum-log sub-neg fma-neg diff-log
Counts
4 → 117
Calls
4 calls:
29.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
14.0ms
(- (* y z) x)
164.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
46.0ms
(/ (- (* y z) x) (- (* t z) x))

series452.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(+ x (/ (- (* y z) x) (- (* t z) x)))
29.0ms
(- (* y z) x)
209.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
83.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify936.0ms

Counts
129 → 129
Iterations
IterNodes
done2000
21587
1489
0187

prune733.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.7b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.0b
(+ x (/ (fma y z (- x)) (- (* t z) x)))
0.2b
(/ (+ x (/ (fma y z (- x)) (- (* t z) x))) (+ x 1.0))
11.4b
(/ (fma y z (- x)) (- (* t z) x))

rewrite131.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-cbrt-cube add-exp-log add-log-exp
7×associate-/r* associate-/l*
4×expm1-log1p-u pow1 associate-/r/ insert-posit16 log1p-expm1-u
3×fma-def flip3-+ prod-diff flip-+
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip-- associate-/l/
1×+-commutative sum-log sub-neg fma-neg diff-log
Counts
4 → 112
Calls
4 calls:
8.0ms
(- (* t z) x)
21.0ms
(+ x (/ (fma y z (- x)) (- (* t z) x)))
88.0ms
(/ (+ x (/ (fma y z (- x)) (- (* t z) x))) (+ x 1.0))
12.0ms
(/ (fma y z (- x)) (- (* t z) x))

series445.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* t z) x)
123.0ms
(+ x (/ (fma y z (- x)) (- (* t z) x)))
172.0ms
(/ (+ x (/ (fma y z (- x)) (- (* t z) x))) (+ x 1.0))
100.0ms
(/ (fma y z (- x)) (- (* t z) x))

simplify931.0ms

Counts
124 → 124
Iterations
IterNodes
done2001
21246
1412
0173

prune569.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.7b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* t z) (- x))
0.0b
(+ x (/ (fma y z (- x)) (+ (* t z) (- x))))
0.2b
(/ (+ x (/ (fma y z (- x)) (+ (* t z) (- x)))) (+ x 1.0))
11.4b
(/ (fma y z (- x)) (+ (* t z) (- x)))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
45×*-un-lft-identity
25×times-frac
23×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
10×add-log-exp
8×add-cbrt-cube add-exp-log
7×associate-/r* associate-/l*
5×flip3-+ flip-+
4×expm1-log1p-u pow1 fma-def associate-/r/ insert-posit16 log1p-expm1-u
3×sum-log
2×cbrt-undiv +-commutative clear-num frac-2neg div-exp div-inv associate-/l/
1×neg-sub0 associate-+r- unsub-neg neg-log
Counts
4 → 112
Calls
4 calls:
9.0ms
(+ (* t z) (- x))
22.0ms
(+ x (/ (fma y z (- x)) (+ (* t z) (- x))))
81.0ms
(/ (+ x (/ (fma y z (- x)) (+ (* t z) (- x)))) (+ x 1.0))
25.0ms
(/ (fma y z (- x)) (+ (* t z) (- x)))

series427.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(+ (* t z) (- x))
96.0ms
(+ x (/ (fma y z (- x)) (+ (* t z) (- x))))
166.0ms
(/ (+ x (/ (fma y z (- x)) (+ (* t z) (- x)))) (+ x 1.0))
111.0ms
(/ (fma y z (- x)) (+ (* t z) (- x)))

simplify871.0ms

Counts
124 → 124
Iterations
IterNodes
done2000
21239
1398
0164

prune642.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.7b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.1b
(/ 1 (- (* t z) x))
0.2b
(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
11.4b
(* (- (* y z) x) (/ 1 (- (* t z) x)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
37×add-sqr-sqrt
32×times-frac
30×add-cube-cbrt
19×add-exp-log
15×associate-*r*
13×add-cbrt-cube
7×pow1 associate-/r*
6×associate-/r/ associate-/l* add-log-exp
5×flip3-- div-exp flip--
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u distribute-lft-out
3×cbrt-undiv associate-*l* prod-diff div-inv unswap-sqr
2×frac-times rec-exp clear-num frac-2neg flip3-+ 1-exp associate-*l/ cbrt-unprod flip-+ associate-/l/
1×sub-neg fma-neg diff-log pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 138
Calls
4 calls:
17.0ms
(- (* y z) x)
27.0ms
(/ 1 (- (* t z) x))
42.0ms
(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
78.0ms
(* (- (* y z) x) (/ 1 (- (* t z) x)))

series373.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(- (* y z) x)
35.0ms
(/ 1 (- (* t z) x))
171.0ms
(/ (+ x (* (- (* y z) x) (/ 1 (- (* t z) x)))) (+ x 1.0))
123.0ms
(* (- (* y z) x) (/ 1 (- (* t z) x)))

simplify946.0ms

Counts
150 → 150
Iterations
IterNodes
done2002
21614
1551
0218

prune678.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.7b

regimes438.0ms

Accuracy

63.5% (2.3b remaining)

Error of 3.1b against oracle of 0.9b and baseline of 7.1b

bsearch185.0ms

Steps
ItersRangePoint
10
3.125027152050763e+142
1.303318711820886e+155
1.2365924477248178e+144
8
-1.7865718462981556e+144
-6.160866917984992e+141
-4.397554981755772e+143

simplify6.0ms

Iterations
IterNodes
done30
130
022

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.1s8364×body80valid