Details

Time bar (total: 23.4s)

sample65.0ms

Algorithm
intervals
Results
42.0ms268×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
done5000
102278
9947
8488
7275
6199
5166
4124
375
243
124
014

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.5b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
54×prod-diff
53×*-un-lft-identity
51×add-cube-cbrt
44×associate-+r+
33×distribute-rgt-in distribute-lft-in
9×times-frac
8×add-cbrt-cube add-exp-log add-log-exp
6×pow1 sub-neg
5×associate-*r*
4×expm1-log1p-u fma-def flip3-+ flip-+ insert-posit16 log1p-expm1-u
3×associate-/r* associate-*l* associate-/l*
2×+-commutative sum-log associate-*r/ associate-/r/ associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 157
Calls
4 calls:
33.0ms
(* z (- t a))
12.0ms
(+ y (* z (- b y)))
10.0ms
(+ (* x y) (* z (- t a)))
57.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series727.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* z (- t a))
61.0ms
(+ y (* z (- b y)))
79.0ms
(+ (* x y) (* z (- t a)))
517.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify1.7s

Counts
169 → 169
Iterations
IterNodes
done5023
21774
1655
0283

prune1.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 25.2b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.2b
(/ 1 (/ (fma z (- b y) y) (fma y x (* z (- t a)))))
0.3b
(fma y x (* z (- t a)))
25.5b
(/ (fma z (- b y) y) (fma y x (* z (- t a))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
72×add-sqr-sqrt
70×*-un-lft-identity
68×add-cube-cbrt
19×add-exp-log
18×prod-diff
16×associate-/r*
13×add-cbrt-cube
11×distribute-rgt-in distribute-lft-in
8×div-exp
7×pow1
6×div-inv associate-/l*
5×associate-*r*
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l*
2×rec-exp clear-num sub-neg frac-2neg 1-exp associate-*r/
1×flip3-- pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod fma-udef pow-flip flip-- distribute-lft-out-- inv-pow difference-of-squares unswap-sqr
Counts
4 → 167
Calls
4 calls:
18.0ms
(* z (- t a))
6.0ms
(/ 1 (/ (fma z (- b y) y) (fma y x (* z (- t a)))))
0.0ms
(fma y x (* z (- t a)))
4.0ms
(/ (fma z (- b y) y) (fma y x (* z (- t a))))

series1.0s

Counts
4 → 12
Calls
4 calls:
57.0ms
(* z (- t a))
741.0ms
(/ 1 (/ (fma z (- b y) y) (fma y x (* z (- t a)))))
92.0ms
(fma y x (* z (- t a)))
140.0ms
(/ (fma z (- b y) y) (fma y x (* z (- t a))))

simplify2.4s

Counts
179 → 179
Iterations
IterNodes
done5002
33749
21318
1576
0269

prune1.2s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 12.5b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.3b
(fma y x (* z (- t a)))
0.3b
(/ 1 (fma z (- b y) y))
25.4b
(* (/ 1 (fma z (- b y) y)) (fma y x (* z (- t a))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
37×*-un-lft-identity
34×add-cube-cbrt
20×times-frac
19×add-exp-log
18×prod-diff
16×associate-*l*
13×add-cbrt-cube
12×distribute-rgt-in distribute-lft-in
9×pow1
8×associate-*r*
5×prod-exp
4×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r* cbrt-unprod fma-udef associate-/l*
2×cbrt-undiv rec-exp sub-neg 1-exp pow-prod-down associate-*r/ *-commutative div-inv
1×clear-num frac-2neg flip3-- associate-*l/ pow-flip flip-- distribute-lft-out-- inv-pow difference-of-squares
Counts
4 → 132
Calls
4 calls:
18.0ms
(* z (- t a))
0.0ms
(fma y x (* z (- t a)))
5.0ms
(/ 1 (fma z (- b y) y))
19.0ms
(* (/ 1 (fma z (- b y) y)) (fma y x (* z (- t a))))

series1.0s

Counts
4 → 12
Calls
4 calls:
72.0ms
(* z (- t a))
61.0ms
(fma y x (* z (- t a)))
83.0ms
(/ 1 (fma z (- b y) y))
795.0ms
(* (/ 1 (fma z (- b y) y)) (fma y x (* z (- t a))))

simplify3.2s

Counts
144 → 144
Iterations
IterNodes
done5002
33787
21120
1468
0212

prune766.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 12.5b

localize43.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
25.6b
(/ (+ (* x y) (* z (- t a))) (fma (* (cbrt y) (cbrt y)) (cbrt y) (* z (- b y))))

rewrite40.0ms

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

series1.5s

Counts
4 → 12
Calls
4 calls:
260.0ms
(cbrt y)
296.0ms
(cbrt y)
275.0ms
(cbrt y)
688.0ms
(/ (+ (* x y) (* z (- t a))) (fma (* (cbrt y) (cbrt y)) (cbrt y) (* z (- b y))))

simplify2.1s

Counts
86 → 86
Iterations
IterNodes
done5000
33042
2655
1210
097

prune577.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 12.5b

regimes1.0s

Accuracy

17.1% (9.8b remaining)

Error of 20.5b against oracle of 10.7b and baseline of 22.5b

bsearch218.0ms

Steps
ItersRangePoint
4
8.803690821578165e+192
1.3341101639438144e+193
8.879606465820762e+192
10
3.056103735942779e-289
4.513537496159142e-272
5.972417992529298e-285
7
-2.2877610580956455e-238
-1.4732887646823425e-240
-1.5073212909314457e-240
6
-5.964080283091801e+212
-4.451961833520596e+211
-5.062409672741701e+211

simplify9.0ms

Iterations
IterNodes
done35
135
031

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8411×body80valid