Details

Time bar (total: 7.7s)

sample28.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify111.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03310
17910
221010
348310
491010
5151610
6281810
7500110
done500110

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
2.1b
(+ (* (+ x y) z) (* (+ t y) a))
4.0b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
27.4b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite303.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
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×expm1-log1p-u associate-*l* frac-add log1p-expm1-u
3×fma-neg associate-*r* prod-diff associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg fma-def frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 105
Calls
4 calls:
20.0ms
(* (+ t y) a)
17.0ms
(+ (* (+ x y) z) (* (+ t y) a))
87.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
175.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series980.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (+ t y) a)
63.0ms
(+ (* (+ x y) z) (* (+ t y) a))
129.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
760.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify93.0ms

Counts
117 → 117
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
05641186
125091087
250021077
done50021077

prune485.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.3b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(fma (+ x y) z (* (+ t y) a))
11.0b
(/ (* y b) (+ (+ x t) y))
24.8b
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
146×*-un-lft-identity
124×times-frac
66×add-sqr-sqrt
64×add-cube-cbrt
49×distribute-lft-out
18×add-exp-log
16×add-cbrt-cube
14×associate-/l*
10×associate-/r*
8×div-inv
7×div-exp
6×pow1
5×cbrt-undiv
4×expm1-log1p-u associate-*l* associate-/r/ log1p-expm1-u add-log-exp
3×flip3-+ associate-*r* flip-+
2×frac-2neg associate-*l/ prod-exp clear-num cbrt-unprod
1×1-exp pow-prod-down *-commutative fma-udef associate-/l/ unswap-sqr
Counts
4 → 165
Calls
4 calls:
20.0ms
(* (+ t y) a)
0.0ms
(fma (+ x y) z (* (+ t y) a))
41.0ms
(/ (* y b) (+ (+ x t) y))
47.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

series483.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (+ t y) a)
69.0ms
(fma (+ x y) z (* (+ t y) a))
97.0ms
(/ (* y b) (+ (+ x t) y))
289.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

simplify82.0ms

Counts
177 → 177
Iterations

Useful iterations: 2 (65.0ms)

IterNodesCost
05881849
125641673
250021573
done50021573

prune499.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(fma (+ x y) z (* (+ t y) a))
7.5b
(* y (/ b (+ (+ x t) y)))
24.8b
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
159×*-un-lft-identity
135×times-frac
79×add-sqr-sqrt
72×add-cube-cbrt
52×distribute-lft-out
24×associate-*r*
18×add-exp-log
16×add-cbrt-cube
13×associate-/l*
8×pow1 div-inv
7×associate-*l*
6×div-exp
5×associate-/r*
4×cbrt-undiv expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp
3×flip3-+ prod-exp cbrt-unprod flip-+ unswap-sqr
2×pow-prod-down associate-*l/ *-commutative
1×frac-2neg 1-exp associate-*r/ clear-num fma-udef associate-/l/
Counts
4 → 178
Calls
4 calls:
20.0ms
(* (+ t y) a)
0.0ms
(fma (+ x y) z (* (+ t y) a))
80.0ms
(* y (/ b (+ (+ x t) y)))
41.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

series487.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (+ t y) a)
70.0ms
(fma (+ x y) z (* (+ t y) a))
91.0ms
(* y (/ b (+ (+ x t) y)))
298.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

simplify89.0ms

Counts
190 → 190
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
06411911
127971739
250011638
done50011638

prune535.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.2b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(fma (+ x y) z (* (+ t y) a))
7.7b
(/ y (/ (+ (+ x t) y) b))
24.8b
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
250×*-un-lft-identity
236×times-frac
120×add-sqr-sqrt
118×add-cube-cbrt
79×distribute-lft-out
24×associate-/r*
18×add-exp-log
16×add-cbrt-cube associate-/l*
12×div-inv
8×div-exp
6×pow1 cbrt-undiv
4×expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp
3×associate-*r* associate-/r/
2×frac-2neg flip3-+ associate-*l/ clear-num flip-+
1×1-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef associate-/l/ unswap-sqr
Counts
4 → 232
Calls
4 calls:
20.0ms
(* (+ t y) a)
0.0ms
(fma (+ x y) z (* (+ t y) a))
39.0ms
(/ y (/ (+ (+ x t) y) b))
45.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

series571.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (+ t y) a)
70.0ms
(fma (+ x y) z (* (+ t y) a))
177.0ms
(/ y (/ (+ (+ x t) y) b))
296.0ms
(/ (/ (fma (+ x y) z (* (+ t y) a)) 1) (+ (+ x t) y))

simplify104.0ms

Counts
244 → 244
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
07902519
134582342
250012241
done50012241

prune672.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.2b

regimes536.0ms

Accuracy

15.9% (17.8b remaining)

Error of 21.0b against oracle of 3.1b and baseline of 24.4b

bsearch470.0ms

Steps
ItersRangePoint
10
3.439700743057548e+134
2.0787326860541902e+153
9.987563654923616e+143
8
3279919.0594306183
2729476509.456228
41039768.55891173
10
5.548051143583168e-36
3.393066698715263e-26
9.72314883776589e-29
6
-3.718756768917452e-217
-8.846472592149098e-218
-1.1418352270650338e-217
8
-1.3878862186990282e-142
-3.072104448187106e-147
-6.193858000040435e-146
6
-6.856159936365753e-51
-1.6336167792377175e-51
-2.7884154681057674e-51
8
-2.2939282873118699e+24
-2.943577317811121e+21
-3.344137092950427e+21
10
-4.559275910024387e+191
-1.132598580924764e+178
-2.1110667318655525e+178

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05477
15477
done5477

end0.0ms

sample715.0ms

Algorithm
intervals
Results
345.0ms7997×body80valid
0.0ms2×body640valid
0.0ms1×body1280valid