Details

Time bar (total: 23.3s)

sample131.0ms

Algorithm
intervals
Results
97.0ms669×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
01931
15529
217928
359428
4238328
done500028

prune15.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.0b
(fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0))
0.1b
(fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a))))
0.3b
(pow (fma a a (* b b)) 2.0)
0.4b
(* (* b b) (- 1.0 (* 3.0 a)))

rewrite49.0ms

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

series541.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0))
89.0ms
(fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a))))
201.0ms
(pow (fma a a (* b b)) 2.0)
89.0ms
(* (* b b) (- 1.0 (* 3.0 a)))

simplify3.1s

Counts
84 → 84
Iterations

Useful iterations: done (3.1s)

IterNodesCost
01601452
14291415
225441221
done50011210

prune424.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* b b) (- 1.0 (* 3.0 a)))
0.4b
(* (* b b) (- 1.0 (* 3.0 a)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1 add-sqr-sqrt
14×add-exp-log add-cbrt-cube
12×add-cube-cbrt *-un-lft-identity prod-diff
10×distribute-rgt-in distribute-lft-in
6×associate-*r* pow-prod-down prod-exp sqrt-prod cbrt-unprod
4×expm1-log1p-u sub-neg associate-*r/ log1p-expm1-u add-log-exp
2×rem-sqrt-square flip3-- sqrt-pow1 pow1/2 associate-*l* *-commutative flip-- unswap-sqr
Counts
4 → 96
Calls
4 calls:
46.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
53.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
3.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
4.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

series837.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
70.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
356.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
323.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

simplify2.0s

Counts
108 → 108
Iterations

Useful iterations: done (2.0s)

IterNodesCost
01302220
13482078
220621852
done50001820

prune678.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* b b) (- 1.0 (* 3.0 a)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×pow1
10×add-cube-cbrt *-un-lft-identity
9×add-exp-log sqrt-prod add-cbrt-cube
6×prod-diff
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* pow-prod-down prod-exp cbrt-unprod
2×sub-neg associate-*r/
1×flip3-- associate-*l* *-commutative flip-- unswap-sqr
Counts
4 → 78
Calls
4 calls:
55.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
3.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
3.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
2.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

series1.1s

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (* b b) (- 1.0 (* 3.0 a)))
366.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
374.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
276.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

simplify2.1s

Counts
90 → 90
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01302252
13482049
220621870
done50001848

prune643.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
9.2b
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

rewrite14.0ms

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

series1.9s

Counts
4 → 12
Calls
4 calls:
838.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
394.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
334.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))
346.0ms
(sqrt (fma 4.0 (fma (* a a) (+ 1.0 a) (* (* b b) (- 1.0 (* 3.0 a)))) (pow (fma a a (* b b)) 2.0)))

simplify1.7s

Counts
72 → 72
Iterations

Useful iterations: 3 (396.0ms)

IterNodesCost
0622284
11332020
23961888
317811876
done50021876

prune559.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes155.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01957
12257
done2257

end0.0ms

sample4.3s

Algorithm
intervals
Results
3.5s20565×body80valid