Details

Time bar (total: 45.1s)

sample312.0ms

Algorithm
intervals
Results
157.0ms418×body80valid
13.0ms14×body640valid
5.0ms7×body320valid
5.0ms4×body1280valid
3.0ms6×body160valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: done (2.5s)

IterNodesCost
035127
1109115
2415110
32032108
done5000105

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize129.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(+ (* (* (* 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)))
5.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
5.3b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite3.2s

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:
1.1s
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
1.2s
(+ (* (* (* 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)))
402.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
402.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series920.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
524.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)))
101.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
142.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify1.1s

Counts
359 → 359
Iterations

Useful iterations: done (1.1s)

IterNodesCost
044919042
1138515724
done500014759

prune4.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize86.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
4.6b
(+ (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)))
5.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
5.2b
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

rewrite509.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:
66.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
8.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)))
337.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
81.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

series771.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
412.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)))
107.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
110.0ms
(* (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (* x1 x1))

simplify2.6s

Counts
202 → 202
Iterations

Useful iterations: done (2.6s)

IterNodesCost
03787357
19676398
236385594
done50025356

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize77.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
4.6b
(+ (* (/ (* (- (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)) (fma (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 2) (* (* x1 x1) (- 6.0))))
5.2b
(fma (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 2) (* (* x1 x1) (- 6.0)))
5.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite600.0ms

Algorithm
rewrite-expression-head
Rules
231×add-sqr-sqrt
228×*-un-lft-identity
171×prod-diff
166×times-frac
160×add-cube-cbrt
118×associate-+l+
59×distribute-rgt-in distribute-lft-in
35×difference-of-squares
34×distribute-lft-out--
25×add-exp-log add-cbrt-cube
21×associate-*r*
19×fma-neg
13×pow1
12×prod-exp cbrt-unprod
11×div-inv
8×add-log-exp
6×pow-prod-down
4×expm1-log1p-u log1p-expm1-u
3×cbrt-undiv sub-neg div-exp
2×flip3-+ associate-/r/ flip-+ fma-udef
1×+-commutative associate--l- associate-+r+ flip3-- fma-def diff-log div-sub associate-*r/ associate-*l* sum-log *-commutative flip--
Counts
4 → 285
Calls
4 calls:
86.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
130.0ms
(+ (* (/ (* (- (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)) (fma (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 2) (* (* x1 x1) (- 6.0))))
0.0ms
(fma (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 2) (* (* x1 x1) (- 6.0)))
360.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series989.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
560.0ms
(+ (* (/ (* (- (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)) (fma (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 2) (* (* x1 x1) (- 6.0))))
138.0ms
(fma (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 2) (* (* x1 x1) (- 6.0)))
115.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify2.1s

Counts
297 → 297
Iterations

Useful iterations: done (2.1s)

IterNodesCost
034913808
189712115
2317210860
done500110445

prune3.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize167.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.1b
(* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1))
5.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
12.2b
(+ (* (* (* 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)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
282×cbrt-div
237×add-sqr-sqrt
234×*-un-lft-identity
226×associate-*l/
196×frac-times
194×flip3-- flip--
189×prod-diff
173×associate-*r/
166×add-cube-cbrt times-frac
130×associate-+l+ frac-add
65×distribute-rgt-in distribute-lft-in
41×pow1
37×add-exp-log
35×difference-of-squares
34×distribute-lft-out--
33×add-cbrt-cube
22×associate-*r* associate-/r/
21×fma-neg
20×pow-prod-down prod-exp cbrt-unprod
12×flip3-+ flip-+
11×div-inv
8×add-log-exp
4×expm1-log1p-u pow-plus pow-prod-up log1p-expm1-u
3×cbrt-undiv sub-neg div-exp
2×pow2 associate-*l* pow-sqr *-commutative
1×+-commutative associate--l- fma-def diff-log div-sub sum-log unswap-sqr
Counts
4 → 463
Calls
4 calls:
946.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
229.0ms
(* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1))
302.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
1.2s
(+ (* (* (* 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)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

series1.6s

Counts
4 → 12
Calls
4 calls:
143.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
375.0ms
(* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1))
82.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
1.0s
(+ (* (* (* 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)) (* (* (* (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) 6.0))) (* x1 x1)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))

simplify1.5s

Counts
475 → 475
Iterations

Useful iterations: done (1.4s)

IterNodesCost
094173679
1274066243
done500163126

prune6.3s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

regimes494.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify16.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
043125
165125
269125
373125
done73125

end0.0ms

sample6.6s

Algorithm
intervals
Results
5.0s13930×body80valid
459.0ms443×body640valid
231.0ms311×body320valid
179.0ms186×body1280valid
60.0ms164×body160valid