Details

Time bar (total: 33.5s)

sample442.0ms

Algorithm
intervals
Results
219.0ms419×body80valid
15.0ms13×body320valid
14.0ms14×body640valid
3.0ms5×body160valid
3.0ms3×body1280valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5000
32119
2415
1109
035

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize123.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.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-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 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 → 347
Calls
4 calls:
816.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)))
750.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
263.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
305.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series956.0ms

Counts
4 → 12
Calls
4 calls:
515.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)))
163.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
105.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
172.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify892.0ms

Counts
359 → 359
Iterations
IterNodes
done5001
11530
0449

prune4.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize120.0ms

Local error

Found 4 expressions with local error:

2.3b
(+ (fma (- (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)) 3.0) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))) (* (* x1 x1) (- 6.0)))
4.4b
(- (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)) 3.0)
5.2b
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))
5.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite420.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-cbrt-cube add-exp-log
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 associate-*r/
2×flip3-+ associate-*l* associate-/r/ *-commutative distribute-rgt-neg-out flip-+
1×associate--l- +-commutative associate-+l+ sum-log sub-neg flip3-- diff-log div-sub unsub-neg fma-udef flip--
Counts
4 → 190
Calls
4 calls:
11.0ms
(+ (fma (- (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)) 3.0) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))) (* (* x1 x1) (- 6.0)))
105.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)) 3.0)
53.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))
232.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series817.0ms

Counts
4 → 12
Calls
4 calls:
396.0ms
(+ (fma (- (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)) 3.0) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))) (* (* x1 x1) (- 6.0)))
178.0ms
(- (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)) 3.0)
131.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))
113.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify1.1s

Counts
202 → 202
Iterations
IterNodes
done5000
11120
0379

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize172.0ms

Local error

Found 4 expressions with local error:

2.3b
(+ (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))) (* (* x1 x1) (- 6.0)))
5.2b
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))
5.2b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
7.5b
(fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0))

rewrite384.0ms

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

series995.0ms

Counts
4 → 12
Calls
4 calls:
512.0ms
(+ (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))) (* (* x1 x1) (- 6.0)))
114.0ms
(* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))
134.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
236.0ms
(fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0))

simplify539.0ms

Counts
118 → 118
Iterations
IterNodes
done5000
1889
0282

prune2.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize195.0ms

Local error

Found 4 expressions with local error:

8.6b
(fma (* (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)))))) (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))) (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)))))) (* (* x1 x1) (- 6.0)))
10.2b
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))
10.2b
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))
10.2b
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(fma (* (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)))))) (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))) (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)))))) (* (* x1 x1) (- 6.0)))
1.0ms
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))
1.0ms
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))
1.0ms
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))

series4.0s

Counts
4 → 12
Calls
4 calls:
1.9s
(fma (* (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)))))) (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))) (cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0)))))) (* (* x1 x1) (- 6.0)))
699.0ms
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))
714.0ms
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))
692.0ms
(cbrt (fma (+ (fma (/ 1 (sqrt (fma x1 x1 1.0))) (/ (- (fma x1 (* x1 3.0) (* 2.0 x2)) x1) (sqrt (fma x1 x1 1.0))) (- 3.0)) (+ (- 3.0) 3.0)) (/ (* (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (* x1 2.0)) (fma x1 x1 1.0)) (* (* x1 x1) (* 4.0 (/ (- (fma (* 3.0 x1) x1 (* x2 2.0)) x1) (fma x1 x1 1.0))))))

simplify717.0ms

Counts
61 → 61
Iterations
IterNodes
done5000
21181
1377
0153

prune1.6s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

regimes401.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify14.0ms

Iterations
IterNodes
done88
388
282
176
052

end0.0ms

sample6.5s

Algorithm
intervals
Results
4.8s13738×body80valid
506.0ms419×body640valid
275.0ms317×body320valid
259.0ms180×body1280valid
70.0ms178×body160valid