Details

sample76.0ms

Algorithm

intervals

Results

60.0ms

617×

body

valid

simplify195.0ms

Calls

1 calls:

Slowest

195.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize14.0ms

Local error

Found 1 expressions with local error:

0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

1 calls:

Slowest

0.0ms

(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

series133.0ms

Calls

1 calls:

Slowest

133.0ms

(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

simplify678.0ms

Calls

3 calls:

Slowest

279.0ms	(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
276.0ms	(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
122.0ms	(- (+ (pow a 4) (* 4 (pow b 2))) 1)

prune192.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`cbrt-prod`
12×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
6×	`pow1/3` `swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`fma-udef`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

9.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
0.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

series664.0ms

Calls

4 calls:

Slowest

306.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
130.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
120.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
107.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

simplify12.9s

Calls

56 calls:

Slowest

369.0ms	(cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))
365.0ms	(* (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))
359.0ms	(* (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))
352.0ms	(* (* (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))) (* (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))))
332.0ms	(* (sqrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (sqrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))

prune1.2s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.2b	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`cbrt-prod`
12×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
6×	`pow1/3` `swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`fma-udef`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

16.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
0.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
0.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

series665.0ms

Calls

4 calls:

Slowest

316.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
130.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
124.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))
95.0ms	(fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))

simplify11.1s

Calls

56 calls:

Slowest

518.0ms	(* (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (sqrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))
354.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
299.0ms	(cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))
279.0ms	(* (* (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))) (* (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))))
275.0ms	(* (sqrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))

prune1.3s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.1b

localize47.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))) (cbrt (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))))
0.2b	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
0.2b	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
0.2b	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

60×	`add-sqr-sqrt`
56×	`cbrt-prod`
32×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
24×	`pow1/3`
22×	`swap-sqr` `associate-r` `associate-l`
16×	`unswap-sqr`
12×	`add-exp-log`
8×	`pow-prod-down` `pow-sqr` `pow-prod-up`
4×	`pow2` `expm1-log1p-u` `pow-plus` `add-cbrt-cube` `prod-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

30.0ms	(* (cbrt (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))) (cbrt (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))))
13.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
9.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
9.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))

series1.2s

Calls

4 calls:

Slowest

378.0ms	(* (cbrt (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))) (cbrt (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))))
268.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
265.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
263.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))

simplify29.2s

Calls

180 calls:

Slowest

465.0ms	(* (sqrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (cbrt (sqrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))
409.0ms	(cbrt (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))
326.0ms	(* (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))
310.0ms	(* (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))) (* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1)))))
292.0ms	(* (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))) (cbrt (fma (fma a a (* b b)) (fma a a (* b b)) (fma (* b b) 4 -1))))

prune1.8s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.1b

regimes213.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.7s

20451×

body

valid