Details

Time bar (total: 45.8s)

sample430.0ms

Algorithm
intervals
Results
204.0ms446×body80valid
24.0ms16×body640valid
7.0ms5×body320valid
6.0ms3×body1280valid
4.0ms5×body160valid

simplify875.0ms

Counts
1 → 1

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize137.0ms

Local error

Found 4 expressions with local error:

5.9b
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)))))
5.2b
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
0.3b
(* (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))
0.1b
(* (* 3 x1) x1)

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
51×*-un-lft-identity
47×add-cube-cbrt
39×prod-diff
38×times-frac
27×add-cbrt-cube add-exp-log
18×pow1
14×prod-exp cbrt-unprod
13×fma-neg
9×pow-prod-down
7×associate-*l*
6×add-log-exp
4×expm1-log1p-u associate-*r* associate-*r/ insert-posit16 log1p-expm1-u div-inv difference-of-squares
3×flip3-- flip--
2×frac-times cbrt-undiv div-exp associate-*l/ *-commutative distribute-lft-out--
1×sub-neg diff-log fma-udef
Counts
4 → 138
Calls
4 calls:
Slowest
115.0ms
(* (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))
42.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
15.0ms
(* (* 3 x1) x1)
3.0ms
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)))))

series871.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
379.0ms
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)))))
321.0ms
(* (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))
113.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
58.0ms
(* (* 3 x1) x1)

simplify1.3s

Counts
150 → 150

prune4.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

localize130.0ms

Local error

Found 4 expressions with local error:

9.4b
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3)
5.9b
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)))))
0.3b
(* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))
0.1b
(* (* 3 x1) x1)

rewrite100.0ms

Algorithm
rewrite-expression-head
Rules
27×add-cbrt-cube add-exp-log
18×pow1
14×prod-exp cbrt-unprod
9×pow-prod-down
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv div-exp associate-*r/ *-commutative fma-udef
Counts
4 → 72
Calls
4 calls:
Slowest
83.0ms
(* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))
15.0ms
(* (* 3 x1) x1)
1.0ms
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3)
1.0ms
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
470.0ms
(* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))
398.0ms
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)))))
157.0ms
(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (sqrt (fma x1 x1 1))) -3)
52.0ms
(* (* 3 x1) x1)

simplify918.0ms

Counts
84 → 84

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize105.0ms

Local error

Found 4 expressions with local error:

6.2b
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (* (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)) (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3))) (* (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))))
5.2b
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
5.2b
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
5.2b
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
142×add-sqr-sqrt
133×*-un-lft-identity
127×add-cube-cbrt
117×prod-diff
111×times-frac
39×fma-neg
12×div-inv
10×add-log-exp
6×difference-of-squares
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg flip3-- diff-log flip-- distribute-lft-out--
1×fma-udef
Counts
4 → 221
Calls
4 calls:
Slowest
34.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
25.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
23.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
0.0ms
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (* (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)) (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3))) (* (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))))

series652.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
323.0ms
(fma (fma (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (* (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)) (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3))) (* (cbrt (- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)) (* (* x1 2) (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1))))))
127.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
103.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)
99.0ms
(- (/ (fma 3 (* x1 x1) (- (* x2 2) x1)) (fma x1 x1 1)) 3)

simplify1.5s

Counts
233 → 233

prune7.3s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize162.0ms

Local error

Found 4 expressions with local error:

5.2b
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
5.1b
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
5.1b
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))
3.3b
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))

rewrite1.8s

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-cbrt-cube add-exp-log
24×associate-*r*
23×associate-*r/
22×associate-/r/
21×fma-neg
18×pow1
15×prod-exp cbrt-unprod
12×flip3-+ flip-+
11×flip3-- div-inv flip--
10×associate-+r+ frac-add
9×pow-prod-down
8×add-log-exp
7×sub-neg
4×expm1-log1p-u frac-times insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp
2×associate-*l* associate-*l/ *-commutative
1×associate--l- +-commutative sum-log fma-def diff-log div-sub unswap-sqr
Counts
4 → 351
Calls
4 calls:
Slowest
703.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
572.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
288.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
226.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

series762.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
417.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
126.0ms
(- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)
125.0ms
(* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))
94.0ms
(* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

simplify1.3s

Counts
363 → 363

prune10.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes567.0ms

Accuracy

0% (0.3b remaining)

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

bsearch27.0ms

end0.0ms

sample8.5s

Algorithm
intervals
Results
6.6s13944×body80valid
656.0ms432×body640valid
340.0ms307×body320valid
336.0ms181×body1280valid
122.0ms187×body160valid