Details

Time bar (total: 13.6s)

sample27.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify5.3s

Counts
1 → 1
Iterations

Useful iterations: 4 (59.0ms)

IterNodesCost
01621
13320
27820
315220
436719
568219
6114219
7212519
8401219
done500019

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.2b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (- z b))
0.5b
(fma z x (* y (- z b)))
1.0b
(fma (+ t y) a (fma z x (* y (- z b))))
24.5b
(/ (fma (+ t y) a (fma z x (* y (- z b)))) (+ (+ x t) y))

rewrite35.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:
12.0ms
(* y (- z b))
0.0ms
(fma z x (* y (- z b)))
0.0ms
(fma (+ t y) a (fma z x (* y (- z b))))
18.0ms
(/ (fma (+ t y) a (fma z x (* y (- z b)))) (+ (+ x t) y))

series503.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* y (- z b))
43.0ms
(fma z x (* y (- z b)))
116.0ms
(fma (+ t y) a (fma z x (* y (- z b))))
306.0ms
(/ (fma (+ t y) a (fma z x (* y (- z b)))) (+ (+ x t) y))

simplify1.3s

Counts
117 → 117
Iterations

Useful iterations: 3 (510.0ms)

IterNodesCost
01832221
13422023
28671783
331571741
done50001741

prune319.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.0b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite137.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:
9.0ms
(* (+ x y) z)
5.0ms
(+ (* (+ x y) z) (* (+ t y) a))
39.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
80.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series730.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (+ x y) z)
44.0ms
(+ (* (+ x y) z) (* (+ t y) a))
94.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
568.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify880.0ms

Counts
117 → 117
Iterations

Useful iterations: 2 (395.0ms)

IterNodesCost
01942540
15692317
221652102
done50012102

prune346.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 8.0b

localize16.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)))
1.0b
(fma z (+ x y) (fma a t (* y (- a b))))
24.5b
(/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b)))))

rewrite64.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:
21.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))))
32.0ms
(/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b)))))

series779.0ms

Counts
4 → 12
Calls
4 calls:
557.0ms
(/ 1 (/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b))))))
32.0ms
(fma a t (* y (- a b)))
94.0ms
(fma z (+ x y) (fma a t (* y (- a b))))
96.0ms
(/ (+ (+ x t) y) (fma z (+ x y) (fma a t (* y (- a b)))))

simplify1.7s

Counts
173 → 173
Iterations

Useful iterations: 3 (795.0ms)

IterNodesCost
01905188
14234825
210184452
342194420
done50004420

prune339.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.5b

localize4.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify1.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune0.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.5b

regimes464.0ms

Accuracy

52.8% (11.3b remaining)

Error of 15.7b against oracle of 4.4b and baseline of 28.3b

bsearch42.0ms

Steps
ItersRangePoint
3
3.34336540872648e+123
4.1893963358800575e+123
3.396242341673578e+123
5
-3.339096941797073e+59
-1.4127886966723127e+59
-2.9055951739605413e+59

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02541
13537
done3537

end0.0ms

sample608.0ms

Algorithm
intervals
Results
349.0ms7999×body80valid
0.0ms1×body160valid