Details

Time bar (total: 17.6s)

sample326.0ms

Algorithm
intervals
Results
40.0ms446×body80valid
4.0ms12×body640valid
3.0ms12×body320valid
3.0ms6×body1280valid
2.0ms12×body160valid

simplify791.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (160.0ms)

IterNodesCost
035127
1109115
2397110
31775108
done5000108

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.1b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
7.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
7.8b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite899.0ms

Algorithm
rewrite-expression-head
Rules
243×add-sqr-sqrt
239×*-un-lft-identity
201×prod-diff
171×add-cube-cbrt
166×times-frac
130×associate-+l+
75×distribute-rgt-in distribute-lft-in
35×difference-of-squares
34×distribute-lft-out--
30×add-exp-log add-cbrt-cube
24×associate-*r*
23×associate-*r/
22×associate-/r/
21×fma-neg
18×pow1
15×prod-exp cbrt-unprod
12×flip3-+ flip-+
11×flip3-- flip-- div-inv
10×associate-+r+ frac-add
9×pow-prod-down
8×add-log-exp
7×sub-neg
4×expm1-log1p-u frac-times log1p-expm1-u
3×cbrt-undiv div-exp
2×associate-*l* associate-*l/ *-commutative
1×+-commutative associate--l- fma-def diff-log div-sub sum-log unswap-sqr
Counts
4 → 347
Calls
4 calls:
296.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
347.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
107.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
118.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series606.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
330.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
66.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
105.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify530.0ms

Counts
359 → 359
Iterations

Useful iterations: done (511.0ms)

IterNodesCost
044919042
1138915724
done500115462

prune2.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
4.2b
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
7.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
7.7b
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
104×add-sqr-sqrt
101×*-un-lft-identity
76×times-frac
69×add-cube-cbrt
57×prod-diff
46×add-exp-log add-cbrt-cube
25×pow1 prod-exp cbrt-unprod
22×associate-*r*
19×fma-neg
17×difference-of-squares
16×distribute-lft-out--
14×pow-prod-down
8×add-log-exp
5×cbrt-undiv div-exp div-inv
4×expm1-log1p-u log1p-expm1-u
3×fma-def
2×flip3-+ associate-*r/ associate-*l* associate-/r/ *-commutative distribute-rgt-neg-out flip-+
1×+-commutative associate--l- sub-neg associate-+l+ flip3-- diff-log div-sub unsub-neg associate-*l/ sum-log flip-- fma-udef
Counts
4 → 190
Calls
4 calls:
39.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
3.0ms
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
103.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
24.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

series534.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
282.0ms
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
62.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
80.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

simplify1.7s

Counts
202 → 202
Iterations

Useful iterations: done (1.7s)

IterNodesCost
03787357
110306398
238725569
done50015494

prune1.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 4 expressions with local error:

4.2b
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (fma (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (/ 1 (fma x1 x1 1.0)) (- 3.0)) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
7.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
7.7b
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))
8.1b
(fma (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (/ 1 (fma x1 x1 1.0)) (- 3.0))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log add-cbrt-cube
25×pow1 prod-exp cbrt-unprod
22×associate-*r*
20×add-sqr-sqrt *-un-lft-identity
15×times-frac
14×add-cube-cbrt pow-prod-down
6×add-log-exp
5×cbrt-undiv div-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-def distribute-lft-out-- difference-of-squares
2×flip3-+ associate-*r/ associate-*l* associate-/r/ *-commutative distribute-rgt-neg-out flip-+ fma-udef
1×+-commutative associate-+l+ unsub-neg associate-*l/ sum-log div-inv
Counts
4 → 106
Calls
4 calls:
3.0ms
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (fma (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (/ 1 (fma x1 x1 1.0)) (- 3.0)) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
103.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
23.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))
0.0ms
(fma (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (/ 1 (fma x1 x1 1.0)) (- 3.0))

series496.0ms

Counts
4 → 12
Calls
4 calls:
266.0ms
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (fma (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (/ 1 (fma x1 x1 1.0)) (- 3.0)) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
70.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
78.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))
81.0ms
(fma (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (/ 1 (fma x1 x1 1.0)) (- 3.0))

simplify1.5s

Counts
118 → 118
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02674253
18063999
233603189
done50003177

prune719.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize56.0ms

Local error

Found 4 expressions with local error:

4.2b
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (+ (- (* (* (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (/ (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (fma x1 x1 1.0))) 3.0) (- 3.0 3.0)) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
5.7b
(- (* (* (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (/ (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (fma x1 x1 1.0))) 3.0)
7.7b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
7.7b
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log add-cbrt-cube
25×pow1 prod-exp cbrt-unprod
22×associate-*r*
21×add-sqr-sqrt *-un-lft-identity
15×add-cube-cbrt times-frac
14×pow-prod-down
8×add-log-exp
5×cbrt-undiv div-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-def prod-diff distribute-lft-out-- difference-of-squares
2×flip3-+ associate-*r/ associate-*l* associate-/r/ *-commutative distribute-rgt-neg-out flip-+
1×+-commutative sub-neg associate-+l+ flip3-- fma-neg diff-log unsub-neg associate-*l/ sum-log flip-- fma-udef div-inv
Counts
4 → 114
Calls
4 calls:
3.0ms
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (+ (- (* (* (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (/ (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (fma x1 x1 1.0))) 3.0) (- 3.0 3.0)) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
39.0ms
(- (* (* (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (/ (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (fma x1 x1 1.0))) 3.0)
110.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
24.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

series543.0ms

Counts
4 → 12
Calls
4 calls:
288.0ms
(+ (fma (/ (* (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (* 2.0 x1)) (fma x1 x1 1.0)) (+ (- (* (* (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (/ (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (fma x1 x1 1.0))) 3.0) (- 3.0 3.0)) (* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))) (* (* x1 x1) (- 6.0)))
109.0ms
(- (* (* (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (/ (cbrt (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (fma x1 x1 1.0))) 3.0)
67.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
78.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

simplify1.7s

Counts
126 → 126
Iterations

Useful iterations: done (1.7s)

IterNodesCost
03005577
18955241
236684347
done50004335

prune836.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

regimes292.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
044127
168127
271127
375127
done75127

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.3s13976×body80valid
150.0ms424×body640valid
84.0ms324×body320valid
81.0ms176×body1280valid
32.0ms180×body160valid