Details

Time bar (total: 14.7s)

sample28.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify4.9s

Counts
1 → 1
Iterations

Useful iterations: 4 (91.0ms)

IterNodesCost
01621
13320
27920
320120
440519
576619
6127819
7225719
8419319
done500019

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
1.5b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.8b
(+ (* (+ x y) z) (* (+ t y) a))
27.8b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite267.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:
19.0ms
(* (+ x y) z)
78.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
13.0ms
(+ (* (+ x y) z) (* (+ t y) a))
155.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series952.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (+ x y) z)
103.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
51.0ms
(+ (* (+ x y) z) (* (+ t y) a))
775.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify1.1s

Counts
117 → 117
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01942540
15692317
223102102
done50002080

prune372.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 8.3b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.3b
(fma (+ x y) z (* (+ t y) a))
10.0b
(/ (* y b) (+ (+ x t) y))
23.4b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite93.0ms

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

series379.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (+ t y) a)
50.0ms
(fma (+ x y) z (* (+ t y) a))
76.0ms
(/ (* y b) (+ (+ x t) y))
226.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify859.0ms

Counts
113 → 113
Iterations

Useful iterations: 2 (139.0ms)

IterNodesCost
01531722
13471667
212461511
done50001511

prune301.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.7b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ b (+ (+ x t) y))
1.3b
(fma (+ x y) z (* (+ t y) a))
7.6b
(* y (/ b (+ (+ x t) y)))
23.4b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite144.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-exp-log add-cbrt-cube
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×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×associate-*r/ pow-prod-down *-commutative fma-udef
Counts
4 → 130
Calls
4 calls:
33.0ms
(/ b (+ (+ x t) y))
0.0ms
(fma (+ x y) z (* (+ t y) a))
71.0ms
(* y (/ b (+ (+ x t) y)))
34.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series399.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ b (+ (+ x t) y))
51.0ms
(fma (+ x y) z (* (+ t y) a))
78.0ms
(* y (/ b (+ (+ x t) y)))
226.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify1.2s

Counts
142 → 142
Iterations

Useful iterations: 2 (123.0ms)

IterNodesCost
01562135
13292042
29411880
331961880
done50001880

prune384.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.6b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity
147×times-frac
80×add-sqr-sqrt add-cube-cbrt
60×distribute-lft-out
27×associate-/r*
13×add-exp-log add-cbrt-cube
11×associate-/l*
7×div-inv
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num associate-/r/
2×flip3-+ flip-+ associate-/l/
1×fma-udef
Counts
4 → 184
Calls
4 calls:
65.0ms
(/ (+ (+ x t) y) b)
0.0ms
(fma (+ x y) z (* (+ t y) a))
38.0ms
(/ y (/ (+ (+ x t) y) b))
32.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series455.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ (+ (+ x t) y) b)
56.0ms
(fma (+ x y) z (* (+ t y) a))
142.0ms
(/ y (/ (+ (+ x t) y) b))
231.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify776.0ms

Counts
196 → 196
Iterations

Useful iterations: done (770.0ms)

IterNodesCost
02373362
15013172
216143000
done50002996

prune498.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.6b

regimes447.0ms

Accuracy

14.1% (20.0b remaining)

Error of 23.1b against oracle of 3.1b and baseline of 26.4b

bsearch294.0ms

Steps
ItersRangePoint
2
1.4709029666886323e+94
1.6792660750781064e+94
1.4962904675332604e+94
9
1.7860264575215374e-14
1.0463590683037159e-07
1.4611338783851388e-12
8
1.4783968460317049e-90
7.258635609684662e-86
9.397456832359989e-87
9
-7.629327826126367e-277
-4.297341351284125e-285
-9.250829612163244e-285
7
-2.5801344243206403e-160
-1.503804795935784e-161
-2.1743352189127594e-161
9
-2.134978292180644e-42
-2.251520887004994e-50
-2.632278416537802e-46
10
-2.6415408086084938e+70
-1.4439120462126898e+54
-7.5460461783296e+69

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
051160
162160
done62160

end0.0ms

sample694.0ms

Algorithm
intervals
Results
327.0ms7998×body80valid
0.0ms1×body320valid
0.0ms1×body160valid