Details

Time bar (total: 26.9s)

sample139.0ms

Algorithm
intervals
Results
117.0ms639×body80valid

simplify209.0ms

Calls
1 calls:
Slowest
209.0ms
(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1)

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
4×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
4 calls:
Slowest
0.0ms
(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0ms
(fma (* a a) a (* a a))
0.0ms
(fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1))
0.0ms
(fma -3 a 1)

series425.0ms

Calls
4 calls:
Slowest
133.0ms
(fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1))
130.0ms
(fma (fma b b (* a a)) (fma b b (* a a)) -1)
109.0ms
(fma (* a a) a (* a a))
53.0ms
(fma -3 a 1)

simplify1.5s

Calls
12 calls:
Slowest
315.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
295.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
286.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
277.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
172.0ms
(- (+ (* 4 (pow a 2)) (* 4 (pow b 2))) 1)

prune787.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
0.3b
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
0.3b
(cbrt (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)

rewrite3.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 insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Calls
4 calls:
Slowest
1.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
1.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
1.0ms
(cbrt (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)

series654.0ms

Calls
4 calls:
Slowest
206.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
193.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
165.0ms
(cbrt (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)

simplify2.3s

Calls
21 calls:
Slowest
322.0ms
(cbrt (* (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))))
321.0ms
(cbrt (sqrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
269.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
265.0ms
(cbrt (sqrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
258.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
0.3b
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
0.3b
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (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)

rewrite3.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 insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Calls
4 calls:
Slowest
1.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
1.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
1.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (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)

series992.0ms

Calls
4 calls:
Slowest
310.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
298.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
289.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
95.0ms
(fma (fma b b (* a a)) (fma b b (* a a)) -1)

simplify5.0s

Calls
21 calls:
Slowest
537.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
518.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
463.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
361.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
306.0ms
(+ (pow (/ 1 b) -4/3) (* 4/3 (pow (/ 1 (pow b 2)) 1/3)))

prune1.1s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
0.3b
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
0.3b
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (* (* (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))))
0.3b
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
Calls
4 calls:
Slowest
1.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
1.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
1.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (* (* (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))))
1.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))

series1.0s

Calls
4 calls:
Slowest
301.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
275.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (* (* (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))))
251.0ms
(cbrt (fma (fma (* b b) (fma -3 a 1) (fma (* a a) a (* a a))) 4 (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
216.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))

simplify4.7s

Calls
24 calls:
Slowest
532.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
498.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
478.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
256.0ms
(cbrt (* (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)) (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))))
256.0ms
(+ (* 4/3 (pow (/ 1 (pow b 2)) 1/3)) (pow (/ -1 b) -4/3))

prune1.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes291.0ms

Accuracy

0% (0.4b remaining)

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

bsearch6.0ms

end0.0ms

sample5.2s

Algorithm
intervals
Results
4.8s20611×body80valid