Details

Time bar (total: 15.1s)

sample36.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify3.5s

Counts
1 → 1
Iterations

Useful iterations: 4 (134.0ms)

IterNodesCost
01621
13320
27920
320120
463719
5224019
6495219
done500019

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.9b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (- a b))
0.5b
(fma a t (* y (- a b)))
2.0b
(fma (+ x y) z (fma a t (* y (- a b))))
27.9b
(/ (fma (+ x y) z (fma a t (* y (- a b)))) (+ (+ x t) y))

rewrite82.0ms

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

series594.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* y (- a b))
46.0ms
(fma a t (* y (- a b)))
158.0ms
(fma (+ x y) z (fma a t (* y (- a b))))
352.0ms
(/ (fma (+ x y) z (fma a t (* y (- a b)))) (+ (+ x t) y))

simplify668.0ms

Counts
117 → 117
Iterations

Useful iterations: done (664.0ms)

IterNodesCost
01832221
13932029
214121795
done50011769

prune411.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 7.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
0.9b
(+ (* (+ x y) z) (* (+ t y) a))
2.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
27.9b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite405.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:
33.0ms
(* (+ t y) a)
28.0ms
(+ (* (+ x y) z) (* (+ t y) a))
128.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
210.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series975.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (+ t y) a)
66.0ms
(+ (* (+ x y) z) (* (+ t y) a))
143.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
741.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify1.6s

Counts
117 → 117
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01922540
15742315
225592104
done50022080

prune492.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 7.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b))))))
0.5b
(fma a t (* y (- a b)))
2.0b
(fma z (+ x y) (fma a t (* y (- a b))))
28.0b
(/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b)))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
150×*-un-lft-identity
132×times-frac
70×add-sqr-sqrt add-cube-cbrt
48×distribute-lft-out
22×associate-/r*
17×add-exp-log
11×add-cbrt-cube
8×div-exp associate-/l*
6×div-inv
5×pow1
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num fma-udef associate-/l/
1×pow-flip flip3-+ associate-/r/ flip-+ inv-pow
Counts
4 → 161
Calls
4 calls:
47.0ms
(/ 1 (/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b))))))
0.0ms
(fma a t (* y (- a b)))
0.0ms
(fma z (+ x y) (fma a t (* y (- a b))))
80.0ms
(/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
839.0ms
(/ 1 (/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b))))))
53.0ms
(fma a t (* y (- a b)))
147.0ms
(fma z (+ x y) (fma a t (* y (- a b))))
144.0ms
(/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b)))))

simplify1.7s

Counts
173 → 173
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01905188
14674825
226304581
done50014422

prune585.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.6b

localize8.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.6b

regimes590.0ms

Accuracy

46.5% (12.7b remaining)

Error of 17.0b against oracle of 4.3b and baseline of 28.0b

bsearch419.0ms

Steps
ItersRangePoint
10
2.256056787998907e+39
4.552392351032005e+52
1.0550484849881504e+52
8
61951.52016822266
17102963.46615162
62471.76373336251
10
4.614087934274923e-30
1.3016113514811783e-15
1.2807932727686555e-15
8
-9.52867461016585e-235
-2.4973892220652216e-238
-9.382616835751196e-235
10
-9.404484334455269e-183
-5.3749701596020025e-193
-5.447793497456021e-193
10
-4.0798284548505994e+40
-7.052646320991401e+28
-2.7079908379746977e+40

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
039107
148107
done48107

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.2s7997×body80valid
0.0ms2×body640valid
0.0ms1×body1280valid