Details

sample517.0ms

Algorithm

intervals

Results

153.0ms	446×	body	80	valid
60.0ms	18×	body	640	valid
7.0ms	9×	body	320	valid
5.0ms	4×	body	1280	valid
1.0ms	2×	body	160	valid

simplify206.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

205.0ms

(+ x1 (+ (+ (+ (+ (* (+ (* (* (* 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))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))))

prune79.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize319.0ms

Local error

Found 4 expressions with local error:

7.6b	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
3.7b	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.2b	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
0.2b	(* (* 3 x1) x1)

rewrite481.0ms

Algorithm

rewrite-expression-head

Rules

95×	`add-sqr-sqrt`
89×	`*-un-lft-identity`
62×	`times-frac`
61×	`add-cube-cbrt`
57×	`prod-diff`
27×	`add-cbrt-cube` `add-exp-log`
19×	`fma-neg`
18×	`pow1`
16×	`difference-of-squares`
14×	`prod-exp` `cbrt-unprod` `distribute-lft-out--`
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`
3×	`flip3--` `flip--`
2×	`frac-times` `cbrt-undiv` `div-exp` `associate-l/` `-commutative`
1×	`associate--l-` `sub-neg` `diff-log` `div-sub` `fma-udef`

Counts

4 → 163

Calls

4 calls:

Slowest

262.0ms	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
196.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
16.0ms	(* (* 3 x1) x1)
2.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

series1.3s

Counts

4 → 12

Calls

4 calls:

Slowest

616.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
425.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
181.0ms	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
39.0ms	(* (* 3 x1) x1)

simplify46.9s

Counts

236 → 175

Calls

236 calls:

Slowest

1.1s	(cbrt (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
994.0ms	(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
940.0ms	(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)) (* (* (* (* x1 x1) x1) (* (* 2 2) 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
815.0ms	(log1p (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
801.0ms	(* (* (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))) (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))

prune4.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize171.0ms

Local error

Found 4 expressions with local error:

8.5b	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
8.1b	(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
1.0b	(* (sqrt 3) (sqrt 3))
0.2b	(* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

28×	`pow1`
25×	`add-sqr-sqrt`
24×	`add-cbrt-cube` `add-exp-log`
18×	`sqrt-prod`
15×	`*-un-lft-identity`
13×	`add-cube-cbrt`
12×	`prod-exp` `cbrt-unprod`
10×	`associate-l`
9×	`pow-prod-down`
8×	`sqrt-pow1` `pow1/2` `swap-sqr`
7×	`associate-r`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `associate-*r/` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-sqr`
2×	`frac-times` `cbrt-undiv` `flip3-+` `div-exp` `associate-l/` `-commutative` `flip-+` `fma-udef`
1×	`pow2` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `distribute-lft-out`

Counts

4 → 108

Calls

4 calls:

Slowest

119.0ms	(* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
18.0ms	(* (sqrt 3) (sqrt 3))
1.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
0.0ms	(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))

series1.5s

Counts

4 → 10

Calls

4 calls:

Slowest

737.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
618.0ms	(* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))
193.0ms	(fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
0.0ms	(* (sqrt 3) (sqrt 3))

simplify22.2s

Counts

128 → 118

Calls

128 calls:

Slowest

1.2s	(* (* (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0)) (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0)) (* (* (* (* x1 2) (* x1 2)) (* x1 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
999.0ms	(* (* (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0)) (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0)) (* (* (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
940.0ms	(* (* (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0)) (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0)) (* (* (* (* x1 x1) x1) (* (* 2 2) 2)) (/ (* (* (- (fma x2 2 (* (* 3 x1) x1)) x1) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (- (fma x2 2 (* (* 3 x1) x1)) x1)) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1)))))
774.0ms	(* (* (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))) (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1))))) (* (+ (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))) 0) (* (* x1 2) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)))))
644.0ms	(real->posit16 (fma (/ 1 (sqrt (fma x1 x1 1))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (sqrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3)))))

prune3.6s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize126.0ms

Local error

Found 4 expressions with local error:

7.6b	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
3.7b	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
0.2b	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
0.2b	(* (* 3 x1) x1)

rewrite283.0ms

Algorithm

rewrite-expression-head

Rules

119×	`add-sqr-sqrt`
113×	`*-un-lft-identity`
93×	`prod-diff`
85×	`add-cube-cbrt`
62×	`times-frac`
48×	`distribute-rgt-in` `distribute-lft-in`
19×	`fma-neg`
18×	`pow1` `add-cbrt-cube` `add-exp-log`
16×	`difference-of-squares`
14×	`distribute-lft-out--`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`associate-*r/`
7×	`flip3--` `associate-l` `flip--`
6×	`add-log-exp`
5×	`sub-neg` `fma-udef`
4×	`expm1-log1p-u` `frac-times` `associate-r` `associate--l+` `insert-posit16` `log1p-expm1-u` `div-inv`
2×	`associate-l/` `-commutative`
1×	`associate--l-` `diff-log` `div-sub`

Counts

4 → 210

Calls

4 calls:

Slowest

177.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
73.0ms	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
24.0ms	(* (* 3 x1) x1)
1.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))

series990.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

465.0ms	(fma (fma (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 4 -6) (* x1 x1) (/ (* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1))) (fma x1 x1 1)))
337.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (* x1 2) (- (fma x2 2 (* (* 3 x1) x1)) x1)))
152.0ms	(- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3)
35.0ms	(* (* 3 x1) x1)

simplify1.5m

Counts

333 → 222

Calls

333 calls:

Slowest

1.1s	(fma (/ 1 (* (cbrt (fma x1 x1 1)) (cbrt (fma x1 x1 1)))) (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (cbrt (fma x1 x1 1))) (- (* (sqrt 3) (sqrt 3))))
1.0s	(* (* (fma 1 (fma x2 2 (* (* 3 x1) x1)) (- (* x1 1))) (* x1 2)) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))
892.0ms	(* (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3) (* (fma (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt (fma x2 2 (* (* 3 x1) x1))) (- (* x1 1))) (* x1 2)))
877.0ms	(* (* (* x1 2) (fma (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt (fma x2 2 (* (* 3 x1) x1))) (- (* x1 1)))) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))
823.0ms	(* (* (* x1 2) (fma (sqrt (fma x2 2 (* (* 3 x1) x1))) (sqrt (fma x2 2 (* (* 3 x1) x1))) (- (* (cbrt x1) (* (cbrt x1) (cbrt x1)))))) (- (/ (- (fma x2 2 (* (* 3 x1) x1)) x1) (fma x1 x1 1)) 3))

prune5.8s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize148.0ms

Local error

Found 4 expressions with local error:

8.7b	(fma (* x1 (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)) x1 (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
3.8b	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
3.7b	(+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)
0.2b	(* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3))

rewrite199.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
51×	`*-un-lft-identity`
47×	`add-sqr-sqrt` `add-cube-cbrt`
43×	`fma-def` `add-cbrt-cube` `add-exp-log`
23×	`prod-exp` `cbrt-unprod`
22×	`pow1`
14×	`associate-l`
12×	`pow-prod-down`
6×	`add-log-exp`
5×	`cbrt-undiv` `div-exp` `associate-r` `associate-*l/` `div-inv`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`flip3-+` `flip-+`
2×	`frac-times` `associate-r/` `-commutative` `distribute-lft-out`
1×	`distribute-rgt-in` `+-commutative` `sum-log` `distribute-lft-in` `fma-udef`

Counts

4 → 146

Calls

4 calls:

Slowest

118.0ms	(* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3))
52.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))
23.0ms	(+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)
0.0ms	(fma (* x1 (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)) x1 (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))

series1.1s

Counts

4 → 12

Calls

4 calls:

Slowest

449.0ms	(* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3))
359.0ms	(fma (* x1 (fma 4 (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) -6)) x1 (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
169.0ms	(+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)
106.0ms	(* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* x1 (* x1 3)))

simplify39.9s

Counts

118 → 158

Calls

118 calls:

Slowest

1.9s	(* (* (/ (* (* (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (fma 2 x2 (- (* x1 (* x1 3)) x1))) (* (* (fma x1 x1 1) (fma x1 x1 1)) (fma x1 x1 1))) (* (* (* 2 x1) (* 2 x1)) (* 2 x1))) (* (* (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
1.3s	(* (* (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1))) (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1))) (* (* (* 2 x1) (* 2 x1)) (* 2 x1))) (* (* (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
1.2s	(* (* (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3))) (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
1.1s	(* (* (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1)) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1))) (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (* 2 x1))) (* (* (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))
1.0s	(* (* (* (* (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1)) (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1))) (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (fma x1 x1 1))) (* (* (* 2 2) 2) (* (* x1 x1) x1))) (* (* (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)) (+ (/ (/ (fma 2 x2 (- (* x1 (* x1 3)) x1)) (hypot 1 x1)) (hypot 1 x1)) -3)))

prune4.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes676.0ms

Accuracy

0% (0.2b remaining)

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

bsearch14.0ms

end0.0ms

sample8.8s

Algorithm

intervals

Results

6.9s	14034×	body	80	valid
719.0ms	424×	body	640	valid
374.0ms	183×	body	1280	valid
284.0ms	285×	body	320	valid
106.0ms	168×	body	160	valid