Details

Time bar (total: 17.9s)

sample43.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5001
64350
52090
4637
3201
279
133
016

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* a (+ y t))
1.0b
(fma (+ y x) z (* a (+ y t)))
2.1b
(- (fma (+ y x) z (* a (+ y t))) (* b y))
25.4b
(/ (- (fma (+ y x) z (* a (+ y t))) (* b y)) (+ x (+ y t)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
20×add-sqr-sqrt
18×add-cube-cbrt
15×times-frac
13×distribute-lft-out
8×add-cbrt-cube add-exp-log
6×pow1 add-log-exp
5×associate-/r*
4×expm1-log1p-u associate-*r* log1p-expm1-u
3×fma-neg associate-*l* prod-diff associate-/l*
2×flip3-+ flip3-- associate-*r/ associate-/r/ flip-+ fma-udef flip-- associate-/l/
1×distribute-rgt-in cbrt-undiv clear-num sub-neg frac-2neg distribute-lft-in diff-log div-sub div-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 98
Calls
4 calls:
24.0ms
(* a (+ y t))
0.0ms
(fma (+ y x) z (* a (+ y t)))
5.0ms
(- (fma (+ y x) z (* a (+ y t))) (* b y))
48.0ms
(/ (- (fma (+ y x) z (* a (+ y t))) (* b y)) (+ x (+ y t)))

series449.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* a (+ y t))
62.0ms
(fma (+ y x) z (* a (+ y t)))
135.0ms
(- (fma (+ y x) z (* a (+ y t))) (* b y))
208.0ms
(/ (- (fma (+ y x) z (* a (+ y t))) (* b y)) (+ x (+ y t)))

simplify1.1s

Counts
110 → 110
Iterations
IterNodes
done5000
21655
1414
0156

prune765.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.4b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t))) (/ (* b y) (+ x (+ y t))))
1.0b
(fma (+ y x) z (* a (+ y t)))
8.0b
(/ (* b y) (+ x (+ y t)))
23.4b
(/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t)))

rewrite371.0ms

Algorithm
rewrite-expression-head
Rules
483×*-un-lft-identity
306×times-frac
231×prod-diff
189×distribute-lft-out
171×add-sqr-sqrt
166×add-cube-cbrt
74×associate-/r/
37×flip3-+ flip-+ div-inv
21×fma-neg
11×add-cbrt-cube add-exp-log
10×associate-/r*
6×add-log-exp
4×expm1-log1p-u pow1 log1p-expm1-u associate-/l*
3×cbrt-undiv distribute-rgt-out-- div-exp
2×clear-num frac-2neg difference-of-squares
1×sub-neg flip3-- diff-log prod-exp frac-sub cbrt-unprod fma-udef flip-- distribute-lft-out-- sub-div
Counts
4 → 352
Calls
4 calls:
254.0ms
(- (/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t))) (/ (* b y) (+ x (+ y t))))
0.0ms
(fma (+ y x) z (* a (+ y t)))
32.0ms
(/ (* b y) (+ x (+ y t)))
41.0ms
(/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t)))

series643.0ms

Counts
4 → 12
Calls
4 calls:
244.0ms
(- (/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t))) (/ (* b y) (+ x (+ y t))))
67.0ms
(fma (+ y x) z (* a (+ y t)))
50.0ms
(/ (* b y) (+ x (+ y t)))
281.0ms
(/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t)))

simplify1.7s

Counts
364 → 364
Iterations
IterNodes
done5002
23031
1794
0325

prune2.4s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.5b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ x (+ y t)))
1.0b
(fma (+ y x) z (* a (+ y t)))
2.8b
(* b (/ y (+ x (+ y t))))
23.4b
(/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t)))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
46×times-frac
39×add-sqr-sqrt
34×add-cube-cbrt
33×distribute-lft-out
21×associate-*r*
13×add-cbrt-cube add-exp-log
10×associate-/r*
6×pow1 associate-/r/ associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-+ div-exp associate-*l* flip-+ div-inv
2×clear-num frac-2neg prod-exp cbrt-unprod unswap-sqr
1×pow-prod-down associate-*r/ *-commutative fma-udef
Counts
4 → 130
Calls
4 calls:
36.0ms
(/ y (+ x (+ y t)))
0.0ms
(fma (+ y x) z (* a (+ y t)))
66.0ms
(* b (/ y (+ x (+ y t))))
25.0ms
(/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t)))

series481.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(/ y (+ x (+ y t)))
63.0ms
(fma (+ y x) z (* a (+ y t)))
76.0ms
(* b (/ y (+ x (+ y t))))
272.0ms
(/ (fma (+ y x) z (* a (+ y t))) (+ x (+ y t)))

simplify831.0ms

Counts
142 → 142
Iterations
IterNodes
done5001
21319
1361
0157

prune882.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 4.8b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ a z) (* b (/ y (+ x (+ y t)))))
0.0b
(/ y (+ x (+ y t)))
2.8b
(* b (/ y (+ x (+ y t))))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
31×times-frac
30×add-sqr-sqrt
25×add-cube-cbrt
23×distribute-lft-out
21×associate-*r*
10×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 associate-/r*
4×fma-neg prod-diff associate-/r/
3×expm1-log1p-u flip3-+ associate-*l* associate-*r/ flip-+ log1p-expm1-u associate-/l*
2×cbrt-undiv diff-log div-exp prod-exp frac-sub cbrt-unprod div-inv unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- pow-prod-down associate--l+ *-commutative flip--
Counts
3 → 107
Calls
3 calls:
37.0ms
(- (+ a z) (* b (/ y (+ x (+ y t)))))
24.0ms
(/ y (+ x (+ y t)))
57.0ms
(* b (/ y (+ x (+ y t))))

series212.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(- (+ a z) (* b (/ y (+ x (+ y t)))))
84.0ms
(/ y (+ x (+ y t)))
62.0ms
(* b (/ y (+ x (+ y t))))

simplify925.0ms

Counts
116 → 116
Iterations
IterNodes
done5001
21812
1450
0162

prune715.0ms

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 4.8b

regimes1.1s

Accuracy

36.1% (10.0b remaining)

Error of 13.7b against oracle of 3.7b and baseline of 19.3b

bsearch97.0ms

Steps
ItersRangePoint
9
1.4223746807816657e+94
5.84949006905106e+100
6.503370493896171e+95
5
-1.9394928288065252e+28
-8.641099922541409e+27
-9.110484639622093e+27

simplify6.0ms

Iterations
IterNodes
done39
139
027

end0.0ms

sample1.2s

Algorithm
intervals
Results
895.0ms7997×body80valid
0.0ms2×body160valid
0.0ms1×body320valid