Details

Time bar (total: 28.3s)

sample286.0ms

Algorithm
intervals
Results
151.0ms437×body80valid
14.0ms17×body640valid
9.0ms9×body1280valid
7.0ms11×body320valid
4.0ms9×body160valid

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: 2 (763.0ms)

IterNodesCost
035127
1184115
23297110
done5000110

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize108.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
2.0b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
6.4b
(* (* x1 x1) (fma 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (- 6.0)))
8.0b
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (* (* x1 x1) (fma 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (- 6.0))))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
86×*-un-lft-identity
61×times-frac
60×add-cube-cbrt
57×prod-diff
19×fma-neg
14×difference-of-squares
13×distribute-lft-out--
9×pow1 add-exp-log add-cbrt-cube
6×add-log-exp
4×expm1-log1p-u fma-udef log1p-expm1-u div-inv
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate--l- distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log div-sub associate-*l* *-commutative flip-- unswap-sqr
Counts
4 → 137
Calls
4 calls:
0.0ms
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
96.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
21.0ms
(* (* x1 x1) (fma 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (- 6.0)))
2.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (* (* x1 x1) (fma 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (- 6.0))))

series984.0ms

Counts
4 → 12
Calls
4 calls:
224.0ms
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
196.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
144.0ms
(* (* x1 x1) (fma 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (- 6.0)))
419.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (* (* x1 x1) (fma 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) (- 6.0))))

simplify2.7s

Counts
149 → 149
Iterations

Useful iterations: 1 (1.2s)

IterNodesCost
02555393
138894644
done50004644

prune1.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize91.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x1 x1) (- 6.0))
2.0b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
6.3b
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))))
8.0b
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)))) (* (* x1 x1) (- 6.0))))

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
92×add-sqr-sqrt
88×*-un-lft-identity
62×add-cube-cbrt
61×times-frac
57×prod-diff
30×add-exp-log add-cbrt-cube
21×pow1
19×fma-neg
16×prod-exp cbrt-unprod
14×difference-of-squares
13×distribute-lft-out--
11×associate-*r* pow-prod-down
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u div-inv
3×distribute-lft-neg-in distribute-rgt-neg-in
2×cbrt-undiv associate-*r/ div-exp associate-*l* *-commutative
1×associate--l- neg-mul-1 sub-neg flip3-- diff-log div-sub distribute-rgt-neg-out flip-- fma-udef unswap-sqr
Counts
4 → 162
Calls
4 calls:
41.0ms
(* (* x1 x1) (- 6.0))
96.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
73.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))))
1.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)))) (* (* x1 x1) (- 6.0))))

series823.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (* x1 x1) (- 6.0))
198.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
100.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))))
474.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)))) (* (* x1 x1) (- 6.0))))

simplify1.0s

Counts
174 → 174
Iterations

Useful iterations: done (1.0s)

IterNodesCost
02955550
done50004633

prune1.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize82.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
2.0b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
6.3b
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))))
8.0b
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)))) (* x1 (* x1 (- 6.0)))))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
88×add-sqr-sqrt
85×*-un-lft-identity
61×times-frac
59×add-cube-cbrt
57×prod-diff
25×add-exp-log add-cbrt-cube
19×fma-neg
16×pow1
14×difference-of-squares
13×prod-exp cbrt-unprod distribute-lft-out--
8×pow-prod-down
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u div-inv
2×cbrt-undiv associate-*r/ div-exp fma-udef
1×associate--l- sub-neg flip3-- diff-log div-sub associate-*r* associate-*l* *-commutative flip--
Counts
4 → 143
Calls
4 calls:
1.0ms
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
101.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
64.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))))
0.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)))) (* x1 (* x1 (- 6.0)))))

series915.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
150.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
94.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))))
496.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)))) (* x1 (* x1 (- 6.0)))))

simplify3.0s

Counts
155 → 155
Iterations

Useful iterations: done (3.0s)

IterNodesCost
02785658
127374803
done50004342

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize110.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
2.0b
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
6.4b
(* (* x1 x1) (* 4.0 (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)))
8.0b
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (/ (* (* x1 x1) (* 4.0 (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (fma x1 x1 1.0)) (* x1 (* x1 (- 6.0)))))

rewrite688.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
109×*-un-lft-identity
93×prod-diff
83×add-cube-cbrt
61×times-frac
48×distribute-rgt-in distribute-lft-in
19×fma-neg
16×pow1 add-exp-log add-cbrt-cube
14×difference-of-squares
13×distribute-lft-out--
8×pow-prod-down prod-exp cbrt-unprod
6×fma-udef add-log-exp
5×sub-neg
4×expm1-log1p-u associate-*r/ associate--l+ log1p-expm1-u div-inv
2×flip3-- flip--
1×associate--l- diff-log div-sub associate-*r* associate-*l* *-commutative
Counts
4 → 188
Calls
4 calls:
0.0ms
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
557.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
118.0ms
(* (* x1 x1) (* 4.0 (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)))
1.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (/ (* (* x1 x1) (* 4.0 (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (fma x1 x1 1.0)) (* x1 (* x1 (- 6.0)))))

series892.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(fma (* 3.0 x1) (* x1 (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0))) (pow x1 3))
174.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0)
61.0ms
(* (* x1 x1) (* 4.0 (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)))
496.0ms
(fma (* (/ (* 2.0 x1) (fma x1 x1 1.0)) (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1)) (- (/ (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1) (fma x1 x1 1.0)) 3.0) (+ (/ (* (* x1 x1) (* 4.0 (- (fma (* 3.0 x1) x1 (* 2.0 x2)) x1))) (fma x1 x1 1.0)) (* x1 (* x1 (- 6.0)))))

simplify1.1s

Counts
200 → 200
Iterations

Useful iterations: done (1.1s)

IterNodesCost
03927395
done50006197

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

regimes625.0ms

Accuracy

0% (0.1b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify29.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
045129
163129
274129
376129
done76129

end0.0ms

sample6.1s

Algorithm
intervals
Results
4.1s13946×body80valid
862.0ms412×body640valid
297.0ms177×body1280valid
193.0ms340×body320valid
70.0ms199×body160valid