Details

Time bar (total: 25.9s)

sample69.0ms

Algorithm
intervals
Results
44.0ms680×body80valid

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
01829
15327
217226
350926
4149726
5357326
done500026

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0))
0.1b
(fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a)))
0.3b
(pow (fma a a (* b b)) 2.0)
0.7b
(* (* b b) (+ 3.0 a))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-exp-log
9×*-un-lft-identity add-cbrt-cube
8×add-sqr-sqrt
7×add-cube-cbrt
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×unpow-prod-down pow-unpow pow-prod-down prod-exp cbrt-unprod
2×associate-*r/ fma-udef
1×distribute-rgt-in pow-to-exp pow-pow distribute-lft-in flip3-+ associate-*l* pow-exp *-commutative flip-+ distribute-lft-out unswap-sqr sqr-pow
Counts
4 → 65
Calls
4 calls:
1.0ms
(fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0))
1.0ms
(fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a)))
5.0ms
(pow (fma a a (* b b)) 2.0)
54.0ms
(* (* b b) (+ 3.0 a))

series440.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0))
65.0ms
(fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a)))
180.0ms
(pow (fma a a (* b b)) 2.0)
61.0ms
(* (* b b) (+ 3.0 a))

simplify3.7s

Counts
77 → 77
Iterations

Useful iterations: 3 (2.3s)

IterNodesCost
01361157
13201101
21101970
34265962
done5000962

prune341.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.7b
(* (* b b) (+ 3.0 a))
10.1b
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))
10.1b
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))
10.1b
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
9×pow1 add-exp-log cbrt-prod add-sqr-sqrt add-cbrt-cube
8×add-cube-cbrt
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
4 → 65
Calls
4 calls:
54.0ms
(* (* b b) (+ 3.0 a))
1.0ms
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))
1.0ms
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))
2.0ms
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))

series615.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* (* b b) (+ 3.0 a))
184.0ms
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))
201.0ms
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))
193.0ms
(cbrt (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))))

simplify3.2s

Counts
77 → 77
Iterations

Useful iterations: done (3.2s)

IterNodesCost
01061462
12721422
29331278
334411170
done50001146

prune416.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.7b
(* (* b b) (+ 3.0 a))
10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
9×pow1 add-exp-log cbrt-prod add-sqr-sqrt add-cbrt-cube
8×add-cube-cbrt
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
4 → 65
Calls
4 calls:
31.0ms
(* (* b b) (+ 3.0 a))
1.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
8.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
1.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))

series1.0s

Counts
4 → 12
Calls
4 calls:
52.0ms
(* (* b b) (+ 3.0 a))
340.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
345.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
279.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))

simplify3.1s

Counts
77 → 77
Iterations

Useful iterations: done (3.1s)

IterNodesCost
01242134
13072094
210091866
336971710
done50001674

prune519.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
10.2b
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 52
Calls
4 calls:
1.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
1.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
1.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
1.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))

series1.3s

Counts
4 → 12
Calls
4 calls:
307.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
366.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
300.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))
307.0ms
(cbrt (fma (fma (* a a) (- 1.0 a) (* (* b b) (+ 3.0 a))) 4.0 (pow (fma a a (* b b)) 2.0)))

simplify2.0s

Counts
64 → 64
Iterations

Useful iterations: done (2.0s)

IterNodesCost
0802448
11722420
23832172
39781964
428431916
done50001884

prune385.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes134.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01959
12259
done2259

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.9s20632×body80valid