Details

Time bar (total: 7.6s)

sample85.0ms

Algorithm
intervals
Results
37.0ms630×body80valid

simplify88.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113
done500113

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.5b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c z) (* i a))
4.0b
(* x (- (* y z) (* t a)))
4.4b
(* j (- (* c t) (* i y)))
6.2b
(* b (- (* c z) (* i a)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×distribute-rgt-in distribute-lft-in associate-*r* associate-*l*
7×sub-neg prod-diff
6×associate-*r/ add-log-exp
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log
Counts
4 → 100
Calls
4 calls:
8.0ms
(- (* c z) (* i a))
26.0ms
(* x (- (* y z) (* t a)))
26.0ms
(* j (- (* c t) (* i y)))
28.0ms
(* b (- (* c z) (* i a)))

series249.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- (* c z) (* i a))
71.0ms
(* x (- (* y z) (* t a)))
68.0ms
(* j (- (* c t) (* i y)))
71.0ms
(* b (- (* c z) (* i a)))

simplify55.0ms

Counts
112 → 112
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0478643
11976572
25001572
done5001572

prune494.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 8.2b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c z) (* i a))
4.0b
(* x (- (* y z) (* t a)))
4.4b
(* j (fma c t (- (* y i))))
6.2b
(* b (- (* c z) (* i a)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×distribute-rgt-in distribute-lft-in
6×add-log-exp
5×sub-neg prod-diff
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
2×fma-udef
1×fma-neg diff-log
Counts
4 → 94
Calls
4 calls:
8.0ms
(- (* c z) (* i a))
25.0ms
(* x (- (* y z) (* t a)))
7.0ms
(* j (fma c t (- (* y i))))
28.0ms
(* b (- (* c z) (* i a)))

series257.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (* c z) (* i a))
73.0ms
(* x (- (* y z) (* t a)))
75.0ms
(* j (fma c t (- (* y i))))
70.0ms
(* b (- (* c z) (* i a)))

simplify48.0ms

Counts
106 → 106
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0428603
11751533
25001533
done5001533

prune497.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 8.2b

localize23.0ms

Local error

Found 4 expressions with local error:

3.7b
(* x (- (* t a)))
4.4b
(* j (fma c t (- (* y i))))
4.9b
(* x (* y z))
6.2b
(* b (- (* c z) (* i a)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
13×associate-*r*
12×associate-*l*
11×add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in expm1-log1p-u distribute-lft-in *-commutative log1p-expm1-u add-log-exp
3×unswap-sqr
2×sub-neg associate-*r/ prod-diff fma-udef
1×distribute-lft-neg-in neg-mul-1 flip3-- distribute-rgt-neg-in distribute-rgt-neg-out flip--
Counts
4 → 94
Calls
4 calls:
11.0ms
(* x (- (* t a)))
7.0ms
(* j (fma c t (- (* y i))))
16.0ms
(* x (* y z))
29.0ms
(* b (- (* c z) (* i a)))

series219.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* x (- (* t a)))
82.0ms
(* j (fma c t (- (* y i))))
27.0ms
(* x (* y z))
78.0ms
(* b (- (* c z) (* i a)))

simplify57.0ms

Counts
106 → 106
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0427510
11956444
25001442
done5001442

prune528.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 7.0b

localize30.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (- (* y z) (* t a)))
4.4b
(* j (fma c t (- (* y i))))
6.2b
(* b (- (* z c) (* a i)))
48.8b
(fma (- a) i (* a i))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
7×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u sub-neg associate-*r/ prod-diff log1p-expm1-u add-log-exp
3×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
2×flip3-- flip--
Counts
4 → 88
Calls
4 calls:
30.0ms
(* x (- (* y z) (* t a)))
7.0ms
(* j (fma c t (- (* y i))))
26.0ms
(* b (- (* z c) (* a i)))
0.0ms
(fma (- a) i (* a i))

series270.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(* x (- (* y z) (* t a)))
84.0ms
(* j (fma c t (- (* y i))))
82.0ms
(* b (- (* z c) (* a i)))
29.0ms
(fma (- a) i (* a i))

simplify48.0ms

Counts
100 → 100
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0411562
11679493
25001493
done5001493

prune448.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 7.0b

regimes1.3s

Accuracy

24% (4.4b remaining)

Error of 10.9b against oracle of 6.5b and baseline of 12.3b

bsearch208.0ms

Steps
ItersRangePoint
8
1.4123862412601977e+59
1.2422352178005964e+63
1.5777732133650937e+60
8
-107363417721.05145
-17077363.689382747
-102312353715.88737

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06935
17735
27835
37835
done7835

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.1s19148×body80valid