Details

Time bar (total: 26.0s)

sample168.0ms

Algorithm
intervals
Results
90.0ms559×body80valid

simplify6.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02329
14329
29629
329029
467729
5152229
6441629
done500129

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* c a) (* y i))
4.0b
(* b (- (* c z) (* t i)))
5.7b
(* x (- (* y z) (* t a)))
6.9b
(* j (- (* c a) (* y i)))

rewrite141.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×sub-neg
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
4×flip3-- flip--
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 84
Calls
4 calls:
15.0ms
(- (* c a) (* y i))
52.0ms
(* b (- (* c z) (* t i)))
37.0ms
(* x (- (* y z) (* t a)))
33.0ms
(* j (- (* c a) (* y i)))

series372.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* c a) (* y i))
109.0ms
(* b (- (* c z) (* t i)))
94.0ms
(* x (- (* y z) (* t a)))
125.0ms
(* j (- (* c a) (* y i)))

simplify2.9s

Counts
96 → 96
Iterations

Useful iterations: 2 (239.0ms)

IterNodesCost
01671155
14231141
212101007
344661007
done50001007

prune780.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 5.7b

localize60.0ms

Local error

Found 4 expressions with local error:

4.0b
(* b (- (* c z) (* t i)))
4.6b
(* a (* x t))
4.6b
(* x (* z y))
6.9b
(* j (- (* c a) (* y i)))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
2×flip3-- flip-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
56.0ms
(* b (- (* c z) (* t i)))
18.0ms
(* a (* x t))
39.0ms
(* x (* z y))
55.0ms
(* j (- (* c a) (* y i)))

series314.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(* b (- (* c z) (* t i)))
46.0ms
(* a (* x t))
44.0ms
(* x (* z y))
103.0ms
(* j (- (* c a) (* y i)))

simplify1.6s

Counts
96 → 96
Iterations

Useful iterations: 2 (264.0ms)

IterNodesCost
0171958
1430946
21371806
done5000806

prune605.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 4.4b

localize44.0ms

Local error

Found 4 expressions with local error:

4.6b
(* a (* x t))
4.6b
(* x (* z y))
5.3b
(* a (* j c))
6.8b
(* (- (* y i)) j)

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
21×pow1 add-exp-log add-cbrt-cube
15×associate-*l*
11×add-sqr-sqrt
10×pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt *-un-lft-identity
6×associate-*r*
4×*-commutative add-log-exp
1×distribute-lft-neg-out distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in unswap-sqr
Counts
4 → 76
Calls
4 calls:
34.0ms
(* a (* x t))
34.0ms
(* x (* z y))
48.0ms
(* a (* j c))
22.0ms
(* (- (* y i)) j)

series178.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* a (* x t))
44.0ms
(* x (* z y))
44.0ms
(* a (* j c))
41.0ms
(* (- (* y i)) j)

simplify1.9s

Counts
88 → 88
Iterations

Useful iterations: 2 (233.0ms)

IterNodesCost
0134645
1338627
21309517
done5000517

prune690.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 2.5b

localize40.0ms

Local error

Found 4 expressions with local error:

4.1b
(* (- y) (* i j))
4.6b
(* a (* x t))
4.6b
(* x (* z y))
5.3b
(* a (* j c))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1 add-exp-log add-cbrt-cube
19×associate-*l*
12×pow-prod-down prod-exp cbrt-unprod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*r* *-commutative add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in
1×distribute-lft-neg-out neg-mul-1
Counts
4 → 80
Calls
4 calls:
22.0ms
(* (- y) (* i j))
34.0ms
(* a (* x t))
27.0ms
(* x (* z y))
17.0ms
(* a (* j c))

series119.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (- y) (* i j))
31.0ms
(* a (* x t))
29.0ms
(* x (* z y))
29.0ms
(* a (* j c))

simplify1.4s

Counts
92 → 92
Iterations

Useful iterations: 2 (195.0ms)

IterNodesCost
0142675
1368655
21435535
done5000535

prune441.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 2.2b

regimes1.6s

Accuracy

7.9% (9.6b remaining)

Error of 11.9b against oracle of 2.3b and baseline of 12.7b

bsearch616.0ms

Steps
ItersRangePoint
8
7.996036128532957e-80
3.028720073093824e-75
6.987550520022168e-76
8
2.616541305361914e-149
7.35879209773352e-145
1.121649185145961e-145
7
1.1926649676111385e-214
7.10109552197971e-213
6.963933386833995e-213
9
-1.519465418213749e-34
-8.665062636552218e-42
-3.9170038276678777e-35

simplify42.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
069192
1120158
2144158
3150158
done150158

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.4s18728×body80valid