Details

analyze343.0ms (14.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
23.8%	74.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
48.4%	45.8%	5.8%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample15.0ms (0.6%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	24×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify178.0ms (7.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	42	10
1	42	10

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 13.5b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
12.9b	(/.f64 (*.f64 x (+.f64 y z)) z)

rewrite18.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_13189` `add-cbrt-cube_binary64_13187`
8×	`*-un-lft-identity_binary64_13151` `add-sqr-sqrt_binary64_13173`
6×	`add-cube-cbrt_binary64_13186`
4×	`associate-r/_binary64_13093` `associate-r*_binary64_13091` `pow1_binary64_13212`
3×	`times-frac_binary64_13157` `associate-/r_binary64_13095` `associate-l*_binary64_13092`
2×	`associate-/l/_binary64_13098` `flip-+_binary64_13125` `prod-exp_binary64_13200` `cbrt-undiv_binary64_13185` `cbrt-unprod_binary64_13184` `add-log-exp_binary64_13190` `flip3-+_binary64_13154` `div-exp_binary64_13202`
1×	`frac-2neg_binary64_13162` `pow-prod-down_binary64_13222` `distribute-rgt-in_binary64_13101` `distribute-lft-in_binary64_13100` `-commutative_binary64_13082` `distribute-lft-out_binary64_13102` `div-inv_binary64_13148` `unswap-sqr_binary64_13119` `clear-num_binary64_13150` `associate-/l_binary64_13096`

Counts

2 → 46

Calls

2 calls:

8.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
7.0ms	(*.f64 x (+.f64 y z))

series136.0ms (5.8%)

Counts

2 → 6

Calls

2 calls:

81.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)
54.0ms	(*.f64 x (+.f64 y z))

simplify67.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5077	553

prune101.0ms (4.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	47	5	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	6	53

Merged error: 0.0b

Counts

53 → 6

Compiler

Compiled 1534 to 815 computations (46.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 z (+.f64 y z))
4.1b	(/.f64 x (/.f64 z (+.f64 y z)))

rewrite27.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

114×	`times-frac_binary64_13157`
94×	`*-un-lft-identity_binary64_13151`
62×	`add-cube-cbrt_binary64_13186` `add-sqr-sqrt_binary64_13173`
22×	`associate-/r*_binary64_13095`
16×	`distribute-lft-out_binary64_13102`
11×	`associate-/r/_binary64_13097`
9×	`add-exp-log_binary64_13189` `add-cbrt-cube_binary64_13187`
6×	`div-inv_binary64_13148` `associate-/l*_binary64_13096`
5×	`flip-+_binary64_13125` `flip3-+_binary64_13154`
4×	`cbrt-undiv_binary64_13185` `div-exp_binary64_13202`
2×	`frac-2neg_binary64_13162` `add-log-exp_binary64_13190` `pow1_binary64_13212` `clear-num_binary64_13150`

Counts

2 → 123

Calls

2 calls:

10.0ms	(/.f64 x (/.f64 z (+.f64 y z)))
6.0ms	(/.f64 z (+.f64 y z))

series160.0ms (6.8%)

Counts

2 → 6

Calls

2 calls:

103.0ms	(/.f64 x (/.f64 z (+.f64 y z)))
57.0ms	(/.f64 z (+.f64 y z))

simplify89.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5348	2384

prune129.0ms (5.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	2	4
Picked	0	1	1
Done	1	0	1
Total	130	5	135

Merged error: 0b

Counts

135 → 5

Compiler

Compiled 2621 to 812 computations (69% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 y z) z)
4.3b	(*.f64 x (/.f64 (+.f64 y z) z))

rewrite23.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64_13151`
25×	`times-frac_binary64_13157` `add-sqr-sqrt_binary64_13173`
20×	`add-cube-cbrt_binary64_13186`
16×	`associate-r_binary64_13091`
9×	`add-exp-log_binary64_13189` `add-cbrt-cube_binary64_13187`
7×	`distribute-lft-out_binary64_13102`
4×	`pow1_binary64_13212` `associate-/l*_binary64_13096`
3×	`associate-/r_binary64_13095` `associate-l*_binary64_13092`
2×	`associate-/l/_binary64_13098` `prod-exp_binary64_13200` `cbrt-undiv_binary64_13185` `cbrt-unprod_binary64_13184` `div-inv_binary64_13148` `add-log-exp_binary64_13190` `unswap-sqr_binary64_13119` `div-exp_binary64_13202`
1×	`frac-2neg_binary64_13162` `flip-+_binary64_13125` `pow-prod-down_binary64_13222` `associate-r/_binary64_13093` `-commutative_binary64_13082` `clear-num_binary64_13150` `flip3-+_binary64_13154`

Counts

2 → 68

Calls

2 calls:

11.0ms	(*.f64 x (/.f64 (+.f64 y z) z))
6.0ms	(/.f64 (+.f64 y z) z)

series105.0ms (4.5%)

Counts

2 → 6

Calls

2 calls:

72.0ms	(*.f64 x (/.f64 (+.f64 y z) z))
33.0ms	(/.f64 (+.f64 y z) z)

simplify53.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5245	932

prune44.0ms (1.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	74	5	79

Merged error: 0b

Counts

79 → 5

Compiler

Compiled 966 to 230 computations (76.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 x z)))
6.7b	(*.f64 y (/.f64 x z))

rewrite15.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_13173`
13×	`associate-r_binary64_13091`
10×	`add-cube-cbrt_binary64_13186` `*-un-lft-identity_binary64_13151` `times-frac_binary64_13157`
7×	`add-exp-log_binary64_13189` `add-cbrt-cube_binary64_13187`
4×	`add-log-exp_binary64_13190` `pow1_binary64_13212`
3×	`associate-l_binary64_13092`
2×	`prod-exp_binary64_13200` `cbrt-unprod_binary64_13184` `unswap-sqr_binary64_13119`
1×	`flip-+_binary64_13125` `pow-prod-down_binary64_13222` `cbrt-undiv_binary64_13185` `associate-r/_binary64_13093` `sum-log_binary64_13242` `-commutative_binary64_13082` `div-inv_binary64_13148` `+-commutative_binary64_13081` `flip3-+_binary64_13154` `div-exp_binary64_13202`

Counts

2 → 43

Calls

2 calls:

8.0ms	(*.f64 y (/.f64 x z))
4.0ms	(+.f64 x (*.f64 y (/.f64 x z)))

series84.0ms (3.6%)

Counts

2 → 6

Calls

2 calls:

48.0ms	(+.f64 x (*.f64 y (/.f64 x z)))
36.0ms	(*.f64 y (/.f64 x z))

simplify55.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5400	556

prune28.0ms (1.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	49	5	54

Merged error: 0b

Counts

54 → 5

Compiler

Compiled 585 to 162 computations (72.3% saved)

regimes64.0ms (2.7%)

Compiler: Compiled 141 to 120 computations (14.9% saved)

bsearch39.0ms (1.7%)

Steps

Iters	Range		Point
10	8.269780559719437e+100	2.957060579134197e+113	1.0694809551932351e+101
9	-3.5979731129531327e+61	-5.433794148884175e+56	-5.495148928653015e+56

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	34
1	24	34

end0.0ms (0%)

sample540.0ms (23.1%)

Algorithm

1×

intervals

Results

218.0ms	8000×	body	128	valid
20.0ms	762×	body	128	invalid

Compiler

Compiled 83 to 66 computations (20.5% saved)

Details

analyze343.0ms (14.7%)

sample15.0ms (0.6%)

simplify178.0ms (7.6%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite18.0ms (0.8%)

series136.0ms (5.8%)

simplify67.0ms (2.9%)

prune101.0ms (4.3%)

localize5.0ms (0.2%)

rewrite27.0ms (1.2%)

series160.0ms (6.8%)

simplify89.0ms (3.8%)

prune129.0ms (5.5%)

localize8.0ms (0.3%)

rewrite23.0ms (1%)

series105.0ms (4.5%)

simplify53.0ms (2.3%)

prune44.0ms (1.9%)

localize5.0ms (0.2%)

rewrite15.0ms (0.6%)

series84.0ms (3.6%)

simplify55.0ms (2.3%)

prune28.0ms (1.2%)

regimes64.0ms (2.7%)

bsearch39.0ms (1.7%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample540.0ms (23.1%)

Profiling