Details

Time bar (total: 9.1s)

analyze2.0s (22.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14

sample89.0ms (1%)

Algorithm
1×intervals
Results
26.0ms334×body80invalid
25.0ms256×body80valid

simplify387.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (385.0ms)

IterNodesCost
0495529
1495529

prune13.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 13.5b

Counts
2 → 1

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b
(- (* c z) (* t i))
4.9b
(* j (- (* c a) (* y i)))
5.5b
(* x (- (* y z) (* t a)))
5.6b
(* b (- (* c z) (* t i)))

rewrite23.0ms (0.3%)

Algorithm
1×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×associate-*r/ add-log-exp
4×flip3-- flip--
3×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log
Counts
4 → 77
Calls

4 calls:

6.0ms
(* b (- (* c z) (* t i)))
6.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* j (- (* c a) (* y i)))
4.0ms
(- (* c z) (* t i))

series72.0ms (0.8%)

Counts
4 → 12
Calls

4 calls:

22.0ms
(* j (- (* c a) (* y i)))
19.0ms
(* x (- (* y z) (* t a)))
19.0ms
(* b (- (* c z) (* t i)))
11.0ms
(- (* c z) (* t i))

simplify51.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
04937937
14937937

prune276.0ms (3%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New672289
Fresh000
Picked101
Done000
Total682290

Merged error: 8.0b

Counts
90 → 22

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.9b
(* j (- (* c a) (* y i)))
5.1b
(* b (* c z))
5.5b
(* x (- (* y z) (* t a)))
6.5b
(* b (neg (* t i)))

rewrite23.0ms (0.3%)

Algorithm
1×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×sub-neg associate-*r/ *-commutative add-log-exp
3×unswap-sqr
2×distribute-rgt-in flip3-- distribute-lft-in flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 84
Calls

4 calls:

6.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* j (- (* c a) (* y i)))
5.0ms
(* b (neg (* t i)))
5.0ms
(* b (* c z))

series53.0ms (0.6%)

Counts
4 → 12
Calls

4 calls:

23.0ms
(* j (- (* c a) (* y i)))
19.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* b (neg (* t i)))
6.0ms
(* b (* c z))

simplify50.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
05231808

prune266.0ms (2.9%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New92496
Fresh21921
Picked101
Done000
Total9523118

Merged error: 5.5b

Counts
118 → 23

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.0b
(* (* b c) z)
4.9b
(* j (- (* c a) (* y i)))
5.5b
(* x (- (* y z) (* t a)))
6.5b
(* b (neg (* t i)))

rewrite25.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt
15×pow1 add-exp-log associate-*r* add-cbrt-cube
11×add-cube-cbrt *-un-lft-identity
10×associate-*l*
6×pow-prod-down prod-exp cbrt-unprod
4×sub-neg associate-*r/ *-commutative add-log-exp
3×unswap-sqr
2×distribute-rgt-in flip3-- distribute-lft-in flip--
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in distribute-rgt-neg-out
Counts
4 → 84
Calls

4 calls:

7.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* x (- (* y z) (* t a)))
5.0ms
(* (* b c) z)
5.0ms
(* b (neg (* t i)))

series49.0ms (0.5%)

Counts
4 → 12
Calls

4 calls:

18.0ms
(* x (- (* y z) (* t a)))
18.0ms
(* j (- (* c a) (* y i)))
6.0ms
(* b (neg (* t i)))
6.0ms
(* (* b c) z)

simplify51.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05260809

prune259.0ms (2.9%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New93396
Fresh22022
Picked101
Done000
Total9623119

Merged error: 4.9b

Counts
119 → 23

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

5.5b
(* x (- (* y z) (* t a)))
6.8b
(cbrt (- (* c z) (* t i)))
6.8b
(cbrt (- (* c z) (* t i)))
6.8b
(cbrt (- (* c z) (* t i)))

rewrite18.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log cbrt-div add-cbrt-cube
4×flip3-- flip-- add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×sub-neg associate-*r/
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 61
Calls

4 calls:

6.0ms
(* x (- (* y z) (* t a)))
4.0ms
(cbrt (- (* c z) (* t i)))
4.0ms
(cbrt (- (* c z) (* t i)))
3.0ms
(cbrt (- (* c z) (* t i)))

series138.0ms (1.5%)

Counts
4 → 12
Calls

4 calls:

40.0ms
(cbrt (- (* c z) (* t i)))
39.0ms
(cbrt (- (* c z) (* t i)))
38.0ms
(cbrt (- (* c z) (* t i)))
22.0ms
(* x (- (* y z) (* t a)))

simplify63.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04995894
14995894

prune101.0ms (1.1%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New72173
Fresh02222
Picked101
Done000
Total732396

Merged error: 4.9b

Counts
96 → 23

regimes2.2s (24.5%)

Accuracy

Total 3.4b remaining (35.6%)

Threshold costs 0b (0%)

bsearch127.0ms (1.4%)

Steps
ItersRangePoint
9
4.13901583937233e-90
1.8281565275747044e-84
1.2070106218244255e-84
8
-1.5402100645477478e+35
-6.74389526239305e+30
-4.8212496187944244e+32

simplify20.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
0962108
1962108

end0.0ms (0%)

sample2.6s (28.3%)

Algorithm
1×intervals
Results
929.0ms11154×body80invalid
664.0ms8000×body80valid

Profiling

Loading profile data...