Details

Time bar (total: 44.9s)

sample160.0ms

Algorithm
intervals
Results
133.0ms621×body80valid

simplify191.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize44.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (fma b b (* a a)) (fma b b (* a a)) -1)
0.0b
(fma (* a a) a (* a a))
0.0b
(fma -3 a 1)
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))

rewrite3.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
Counts
4 → 44
Calls
4 calls:
Slowest
1.0ms
(fma (fma b b (* a a)) (fma b b (* a a)) -1)
1.0ms
(fma (* a a) a (* a a))
1.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)

series436.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
146.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))
138.0ms
(fma (fma b b (* a a)) (fma b b (* a a)) -1)
108.0ms
(fma (* a a) a (* a a))
44.0ms
(fma -3 a 1)

simplify1.5s

Counts
12 → 56
Calls
12 calls:
Slowest
281.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
269.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
268.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
254.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
191.0ms
(- (+ (* 4 (pow a 2)) (* 4 (pow b 2))) 1)

prune742.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×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
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
Slowest
7.0ms
(* (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))
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))

series1.0s

Counts
4 → 12
Calls
4 calls:
Slowest
287.0ms
(* (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)))
283.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
262.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))

simplify11.9s

Counts
65 → 97
Calls
65 calls:
Slowest
635.0ms
(cbrt (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
329.0ms
(* (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)))
324.0ms
(cbrt (sqrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
322.0ms
(* (* (cbrt (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))) (cbrt (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))) (* (cbrt (cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))) (cbrt (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)))

prune1.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.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
Counts
4 → 56
Calls
4 calls:
Slowest
2.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))
1.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))

series977.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
261.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
246.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
236.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))
233.0ms
(cbrt (fma (fma b b (* a a)) (fma b b (* a a)) -1))

simplify2.6s

Counts
24 → 68
Calls
24 calls:
Slowest
328.0ms
(cbrt (sqrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
312.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))))
295.0ms
(cbrt (sqrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
278.0ms
(cbrt (sqrt (fma (fma b b (* a a)) (fma b b (* a a)) -1)))
278.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))))

prune1.2s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.2b
(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
(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
(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
(* (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))) (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))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×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
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
Slowest
7.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))) (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)))
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)))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
304.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))) (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))))
283.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)))
280.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)))
268.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)))

simplify14.1s

Counts
65 → 97
Calls
65 calls:
Slowest
585.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
509.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
500.0ms
(- (pow -1 1/3) (+ (* 4/3 (* (pow b 2) (pow -1 1/3))) (* 4/3 (* (pow a 2) (pow -1 1/3)))))
471.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)) (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)))
426.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)) (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)))

prune2.0s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes209.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.8s

Algorithm
intervals
Results
4.5s20442×body80valid