Details

analyze139.0ms (2.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

Compiler

Compiled 175 to 47 computations (73.1% saved)

sample94.0ms (1.5%)

Algorithm

1×

intervals

Results

82.0ms

256×

body

128

valid

Compiler

Compiled 350 to 94 computations (73.1% saved)

simplify77.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

755×	`unswap-sqr_binary64`
705×	`fma-def_binary64`
691×	`distribute-rgt-out_binary64`
576×	`+-commutative_binary64`
488×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	46	256
1	133	150
2	549	101
3	2427	90
4	3705	84
5	4529	84
6	4874	84
7	5887	84

prune17.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

31.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	31.9b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
	31.9b	(.f64 x (/.f64 (fma.f64 825478423409049/4611686018427387904 (pow.f64 x 10) (fma.f64 583843369866023/1152921504606846976 (pow.f64 x 8) (fma.f64 8375303961237363/1152921504606846976 (pow.f64 x 6) (fma.f64 763919671262763/18014398509481984 (pow.f64 x 4) (fma.f64 3782789308857969/36028797018963968 (.f64 x x) 1))))) (fma.f64 825478423409049/2305843009213693952 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808 (fma.f64 (pow.f64 x 8) 2017691060547333/144115188075855872 (fma.f64 (pow.f64 x 6) 2502400853142105/36028797018963968 (fma.f64 (pow.f64 x 4) 2620859570069187/9007199254740992 (fma.f64 (*.f64 x x) 1737369620307813/2251799813685248 1))))))))

Status

Error

Program

▶

31.9b

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)

31.9b

(*.f64 x (/.f64 (fma.f64 825478423409049/4611686018427387904 (pow.f64 x 10) (fma.f64 583843369866023/1152921504606846976 (pow.f64 x 8) (fma.f64 8375303961237363/1152921504606846976 (pow.f64 x 6) (fma.f64 763919671262763/18014398509481984 (pow.f64 x 4) (fma.f64 3782789308857969/36028797018963968 (*.f64 x x) 1))))) (fma.f64 825478423409049/2305843009213693952 (pow.f64 x 12) (fma.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808 (fma.f64 (pow.f64 x 8) 2017691060547333/144115188075855872 (fma.f64 (pow.f64 x 6) 2502400853142105/36028797018963968 (fma.f64 (pow.f64 x 4) 2620859570069187/9007199254740992 (fma.f64 (*.f64 x x) 1737369620307813/2251799813685248 1))))))))

Compiler

Compiled 704 to 274 computations (61.1% saved)

localize75.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x x) (*.f64 x x))
✓	0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
✓	16.3b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
✓	31.3b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

series46.0ms (0.7%)

Counts

4 → 48

Calls

4 calls:

18.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
17.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
6.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
5.0ms	(.f64 (.f64 x x) (*.f64 x x))

rewrite337.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Rules

122×	`pow1_binary64`
36×	`pow-prod-up_binary64`
28×	`add-cbrt-cube_binary64`
28×	`add-exp-log_binary64`
27×	`pow-prod-down_binary64`

Counts

4 → 155

Calls

4 calls:

127.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
110.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 825478423409049/4611686018427387904) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
14.0ms	(.f64 (.f64 x x) (*.f64 x x))
7.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))

simplify473.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

485×	`fma-neg_binary64`
474×	`cancel-sign-sub-inv_binary64`
287×	`associate-r_binary64`
264×	`associate-l_binary64`
221×	`distribute-rgt-neg-in_binary64`

Counts

203 → 228

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	264	12315
1	709	8288
2	2846	7786
3	4962	7786
4	5012	7786

prune1.6s (25.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	586	2	588
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	588	2	590

Error

Counts

590 → 2

Alt Table

Status	Error	Program
	32.8b	(-.f64 x (*.f64 24015124616067039/36028797018963968 (pow.f64 x 3)))
▶	30.6b	(+.f64 (/.f64 1/2 x) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))

Compiler

Compiled 106070 to 28228 computations (73.4% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

series5.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

5.0ms

(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`times-frac_binary64`
26×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
26×	`add-cube-cbrt_binary64`
12×	`associate-/r*_binary64`

Counts

1 → 67

Calls

1 calls:

6.0ms

(/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))

simplify123.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-/r*_binary64`
441×	`fma-def_binary64`
393×	`times-frac_binary64`
368×	`associate-l_binary64`
295×	`log-prod_binary64`

Counts

67 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	886
1	146	856
2	529	856
3	3175	800
4	4261	800
5	4973	800
6	4947	800

prune94.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	67	2	69

Error

Counts

69 → 2

Alt Table

Status	Error	Program
▶	32.8b	(-.f64 x (*.f64 24015124616067039/36028797018963968 (pow.f64 x 3)))
✓	30.6b	(+.f64 (/.f64 1/2 x) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))

Compiler

Compiled 1106 to 870 computations (21.3% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 24015124616067039/36028797018963968 (pow.f64 x 3))

series6.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

5.0ms

(*.f64 24015124616067039/36028797018963968 (pow.f64 x 3))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-r_binary64`
12×	`add-sqr-sqrt_binary64`
6×	`add-exp-log_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`

Counts

1 → 33

Calls

1 calls:

13.0ms

(*.f64 24015124616067039/36028797018963968 (pow.f64 x 3))

simplify125.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

541×	`fma-def_binary64`
513×	`associate-l_binary64`
478×	`associate-r_binary64`
349×	`log-prod_binary64`
311×	`cube-prod_binary64`

Counts

33 → 38

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	354
1	108	314
2	300	314
3	1642	314
4	2724	284
5	4358	284
6	4934	284
7	5000	284
8	5004	284

prune35.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	38	2	40

Error

Counts

40 → 2

Alt Table

Status	Error	Program
✓	32.8b	(-.f64 x (*.f64 24015124616067039/36028797018963968 (pow.f64 x 3)))
✓	30.6b	(+.f64 (/.f64 1/2 x) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3)))

Compiler

Compiled 497 to 373 computations (24.9% saved)

regimes103.0ms (1.6%)

Accuracy

Total 0.1b remaining (18.8%)

Threshold costs 0.1b (18.8%)

Counts

10 → 3

Compiler

Compiled 942 to 372 computations (60.5% saved)

bsearch134.0ms (2.1%)

Steps

Iters	Range		Point
10	5.465178989060636e-7	1294071.238463272	0.9554071290138747
10	-17366628468254.645	-7.684811646526155e-5	-0.794414348395478

Compiler

Compiled 2 to 1 computations (50% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`distribute-lft-neg-in_binary64`
2×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	42
1	34	42
2	41	42
3	45	42
4	48	42
5	49	42
6	47	42

end1.0ms (0%)

Compiler: Compiled 30 to 23 computations (23.3% saved)

sample2.9s (44.6%)

Algorithm

1×

intervals

Results

2.5s

8000×

body

128

valid

Compiler

Compiled 224 to 85 computations (62.1% saved)

Details

analyze139.0ms (2.2%)

sample94.0ms (1.5%)

simplify77.0ms (1.2%)

prune17.0ms (0.3%)

localize75.0ms (1.2%)

series46.0ms (0.7%)

rewrite337.0ms (5.2%)

simplify473.0ms (7.3%)

prune1.6s (25.3%)

localize12.0ms (0.2%)

series5.0ms (0.1%)

rewrite14.0ms (0.2%)

simplify123.0ms (1.9%)

prune94.0ms (1.5%)

localize7.0ms (0.1%)

series6.0ms (0.1%)

rewrite16.0ms (0.2%)

simplify125.0ms (1.9%)

prune35.0ms (0.5%)

regimes103.0ms (1.6%)

bsearch134.0ms (2.1%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample2.9s (44.6%)

Profiling