Details

sample100.0ms

Algorithm

intervals

Results

86.0ms

617×

body

valid

simplify234.0ms

Calls

1 calls:

Slowest

234.0ms

(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))) 1)

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize62.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ a 3) (* b b))
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0b	(fma a (* (- 1 a) a) (* (+ a 3) (* b b)))
0.0b	(fma 4 (fma a (* (- 1 a) a) (* (+ a 3) (* b b))) (fma (fma b b (* a a)) (fma b b (* a a)) -1))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`*-un-lft-identity`
6×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod` `fma-udef`
2×	`associate-*l/`
1×	`flip3-+` `associate-r` `*-commutative` `flip-+` `distribute-lft-out` `unswap-sqr`

Calls

4 calls:

Slowest

34.0ms	(* (+ a 3) (* b b))
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma a (* (- 1 a) a) (* (+ a 3) (* b b)))
0.0ms	(fma 4 (fma a (* (- 1 a) a) (* (+ a 3) (* b b))) (fma (fma b b (* a a)) (fma b b (* a a)) -1))

series392.0ms

Calls

4 calls:

Slowest

165.0ms	(fma 4 (fma a (* (- 1 a) a) (* (+ a 3) (* b b))) (fma (fma b b (* a a)) (fma b b (* a a)) -1))
90.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
71.0ms	(fma a (* (- 1 a) a) (* (+ a 3) (* b b)))
66.0ms	(* (+ a 3) (* b b))

simplify3.3s

Calls

24 calls:

Slowest

422.0ms	(* (- (* a a) (* 3 3)) (* b b))
320.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
290.0ms	(* (+ (pow a 3) (pow 3 3)) (* b b))
286.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
276.0ms	(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

prune971.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize80.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ a 3) (* b b))
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`*-un-lft-identity`
6×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod` `fma-udef`
2×	`associate-*l/`
1×	`flip3-+` `associate-r` `*-commutative` `flip-+` `distribute-lft-out` `unswap-sqr`

Calls

4 calls:

Slowest

50.0ms	(* (+ a 3) (* b b))
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)

series350.0ms

Calls

4 calls:

Slowest

107.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
94.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
85.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
64.0ms	(* (+ a 3) (* b b))

simplify3.0s

Calls

24 calls:

Slowest

340.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
338.0ms	(* (- (* a a) (* 3 3)) (* b b))
302.0ms	(* (+ (pow a 3) (pow 3 3)) (* b b))
299.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
288.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize99.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ a 3) (* b b))
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`*-un-lft-identity`
6×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod` `fma-udef`
2×	`associate-*l/`
1×	`flip3-+` `associate-r` `*-commutative` `flip-+` `distribute-lft-out` `unswap-sqr`

Calls

4 calls:

Slowest

39.0ms	(* (+ a 3) (* b b))
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)

series295.0ms

Calls

4 calls:

Slowest

98.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
82.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
73.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
41.0ms	(* (+ a 3) (* b b))

simplify2.7s

Calls

24 calls:

Slowest

318.0ms	(* (- (* a a) (* 3 3)) (* b b))
267.0ms	(* (+ (pow a 3) (pow 3 3)) (* b b))
243.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
239.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
233.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ a 3) (* b b))
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.2b	(fma (fma b b (* a a)) (fma b b (* a a)) -1)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`*-un-lft-identity`
6×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod` `fma-udef`
2×	`associate-*l/`
1×	`flip3-+` `associate-r` `*-commutative` `flip-+` `distribute-lft-out` `unswap-sqr`

Calls

4 calls:

Slowest

37.0ms	(* (+ a 3) (* b b))
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)

series312.0ms

Calls

4 calls:

Slowest

98.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
87.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
76.0ms	(fma (fma b b (* a a)) (fma b b (* a a)) -1)
51.0ms	(* (+ a 3) (* b b))

simplify2.7s

Calls

24 calls:

Slowest

356.0ms	(* (- (* a a) (* 3 3)) (* b b))
292.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
272.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
255.0ms	(* (+ (pow a 3) (pow 3 3)) (* b b))
235.0ms	(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))

prune1.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.1b

regimes122.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample4.2s

Algorithm

intervals

Results

3.9s

20451×

body

valid