Details

Time bar (total: 35.1s)

sample609.0ms

Algorithm
intervals
Results
398.0ms2360×body80valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
014547
139245
2193045
3500144

prune39.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.3b

localize85.0ms

Local error

Found 4 expressions with local error:

8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
16.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series659.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
172.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
163.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
161.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify42.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011781700
150011612

prune2.2s

Filtered
148 candidates to 120 candidates (81.1%)
Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 15.1b

localize70.0ms

Local error

Found 4 expressions with local error:

8.5b
(* (- (* t y2) (* y y3)) (fma y4 c (- (* a y5))))
8.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
46.0b
(fma (- a) y5 (* a y5))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×flip3-- flip--
10×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×associate-*r* associate-*l*
8×frac-times
7×distribute-rgt-in distribute-lft-in
6×associate-*l/
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
Counts
4 → 102
Calls
4 calls:
9.0ms
(* (- (* t y2) (* y y3)) (fma y4 c (- (* a y5))))
16.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
0.0ms
(fma (- a) y5 (* a y5))

series522.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(* (- (* t y2) (* y y3)) (fma y4 c (- (* a y5))))
162.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
162.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
30.0ms
(fma (- a) y5 (* a y5))

simplify101.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
07841161
135361063
250021063

prune1.8s

Filtered
114 candidates to 89 candidates (78.1%)
Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.1b

localize74.0ms

Local error

Found 4 expressions with local error:

8.8b
(* (- (* x y2) (* z y3)) (fma y0 c (- (* a y1))))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
44.7b
(fma (- a) y1 (* a y1))
46.0b
(fma (- a) y5 (* a y5))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
7×flip3-- flip--
6×associate-*r* associate-*l*
4×distribute-rgt-in expm1-log1p-u frac-times distribute-lft-in associate-*l/ fma-udef log1p-expm1-u add-log-exp
2×sub-neg associate-*r/ prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 78
Calls
4 calls:
9.0ms
(* (- (* x y2) (* z y3)) (fma y0 c (- (* a y1))))
16.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
0.0ms
(fma (- a) y1 (* a y1))
0.0ms
(fma (- a) y5 (* a y5))

series397.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(* (- (* x y2) (* z y3)) (fma y0 c (- (* a y1))))
167.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
25.0ms
(fma (- a) y1 (* a y1))
31.0ms
(fma (- a) y5 (* a y5))

simplify68.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0511786
12197711
25001711

prune1.6s

Filtered
90 candidates to 71 candidates (78.9%)
Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 15.1b

localize73.0ms

Local error

Found 4 expressions with local error:

8.3b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.5b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.8b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate-*l* add-cbrt-cube
8×sub-neg associate-*r/ prod-diff associate-*l/
4×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
4 → 136
Calls
4 calls:
20.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
17.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
17.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series670.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
166.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
165.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
167.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify46.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
011781700
150011612

prune2.1s

Filtered
148 candidates to 120 candidates (81.1%)
Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 15.1b

regimes5.8s

bsearch3.2s

Steps
ItersRangePoint
9
5.7272428676664766e+104
2.2903267643083624e+114
3.3317786820949556e+109
9
2.8439423876469097e-123
4.634402996255239e-114
1.0546441821871616e-118
9
1.131338841337968e-274
1.8267478480800615e-269
1.021819932610036e-270
10
-2.5572434086732394e-249
-1.1773521597424077e-259
-7.853282382374226e-259
8
-5.859488541571494e+25
-1.3641280303063611e+23
-8.259166449436598e+24

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0192314
1194314
2194314

end0.0ms

sample14.6s

Algorithm
intervals
Results
9.9s58136×body80valid