Details

analyze816.0ms (14.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0%	100%	0%	8
0%	100%	0%	9
0%	100%	0%	10
0%	100%	0%	11
0%	100%	0%	12
3%	46.9%	50%	13
3.1%	46.8%	50%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample85.0ms (1.5%)

Algorithm

1×

intervals

Results

41.0ms	102×	body	2560	valid
24.0ms	80×	body	1280	valid
8.0ms	40×	body	640	valid
2.0ms	14×	body	320	valid
1.0ms	10×	body	160	valid
1.0ms	10×	body	80	valid

Compiler

Compiled 29 to 22 computations (24.1% saved)

simplify124.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4884	21
1	4884	21

prune2.0ms (0%)

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: 0.4b

Counts

2 → 1

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (.f64 5 (.f64 v v)))
0.0b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
0.1b	(.f64 5 (.f64 v v))
0.3b	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite27.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
18×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow1_binary64`
8×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64`
4×	`difference-of-sqr-1_binary64` `insert-posit16`
3×	`pow-prod-down_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `associate-/l*_binary64` `flip--_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `acos-asin_binary64` `associate-r_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`

Counts

4 → 86

Calls

4 calls:

11.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
7.0ms	(.f64 5 (.f64 v v))
4.0ms	(-.f64 1 (.f64 5 (.f64 v v)))
1.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

series205.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

73.0ms	(-.f64 1 (.f64 5 (.f64 v v)))
64.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))
42.0ms	(.f64 5 (.f64 v v))
25.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

simplify101.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5347	2050

prune117.0ms (2.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	4	99

Merged error: 0.3b

Counts

99 → 4

Compiler

Compiled 2124 to 1365 computations (35.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (.f64 (.f64 5 v) v))
0.0b	(/.f64 (-.f64 1 (.f64 (.f64 5 v) v)) (-.f64 (*.f64 v v) 1))
0.1b	(.f64 (.f64 5 v) v)
0.3b	(acos.f64 (/.f64 (-.f64 1 (.f64 (.f64 5 v) v)) (-.f64 (*.f64 v v) 1)))

rewrite26.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow1_binary64`
8×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64`
4×	`difference-of-sqr-1_binary64` `insert-posit16`
3×	`pow-prod-down_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64` `associate-/l*_binary64` `flip--_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `acos-asin_binary64` `cbrt-undiv_binary64` `associate-l_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`

Counts

4 → 85

Calls

4 calls:

11.0ms	(/.f64 (-.f64 1 (.f64 (.f64 5 v) v)) (-.f64 (*.f64 v v) 1))
6.0ms	(.f64 (.f64 5 v) v)
4.0ms	(-.f64 1 (.f64 (.f64 5 v) v))
1.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 (.f64 5 v) v)) (-.f64 (*.f64 v v) 1)))

series207.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

74.0ms	(-.f64 1 (.f64 (.f64 5 v) v))
65.0ms	(/.f64 (-.f64 1 (.f64 (.f64 5 v) v)) (-.f64 (*.f64 v v) 1))
44.0ms	(.f64 (.f64 5 v) v)
24.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 (.f64 5 v) v)) (-.f64 (*.f64 v v) 1)))

simplify93.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4934	2041
1	4934	2041

prune104.0ms (1.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	97	4	101

Merged error: 0.3b

Counts

101 → 4

Compiler

Compiled 2091 to 1456 computations (30.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (.f64 5 (.f64 v v)))
0.0b	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
0.1b	(.f64 5 (.f64 v v))
0.4b	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite25.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64`
7×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`
4×	`insert-posit16`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64`
2×	`sub-neg_binary64` `asin-acos_binary64` `flip3--_binary64` `diff-log_binary64` `difference-of-squares_binary64` `flip--_binary64`
1×	`associate-r_binary64` `associate--r-_binary64` `unswap-sqr_binary64` `distribute-lft-out--_binary64` `times-frac_binary64` `*-commutative_binary64`

Counts

4 → 57

Calls

4 calls:

10.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
7.0ms	(.f64 5 (.f64 v v))
4.0ms	(-.f64 1 (.f64 5 (.f64 v v)))
1.0ms	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

series198.0ms (3.5%)

Counts

4 → 12

Calls

4 calls:

73.0ms	(-.f64 1 (.f64 5 (.f64 v v)))
56.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
39.0ms	(.f64 5 (.f64 v v))
29.0ms	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

simplify125.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4781	1447
1	4781	1447

prune84.0ms (1.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	69	4	73

Merged error: 0.3b

Counts

73 → 4

Compiler

Compiled 1744 to 1139 computations (34.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (.f64 5 (.f64 v v)))
0.0b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v))
0.1b	(.f64 5 (.f64 v v))
0.8b	(acos.f64 (/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))

rewrite27.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow1_binary64`
6×	`add-log-exp_binary64`
4×	`associate-/r*_binary64` `distribute-lft-out_binary64` `insert-posit16`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `acos-asin_binary64` `associate-r_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

4 → 78

Calls

4 calls:

9.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v))
7.0ms	(.f64 5 (.f64 v v))
4.0ms	(-.f64 1 (.f64 5 (.f64 v v)))
1.0ms	(acos.f64 (/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))

series173.0ms (3.1%)

Counts

4 → 12

Calls

4 calls:

73.0ms	(-.f64 1 (.f64 5 (.f64 v v)))
43.0ms	(.f64 5 (.f64 v v))
29.0ms	(acos.f64 (/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v)) (-.f64 v 1)))
27.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (+.f64 1 v))

simplify196.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	4878	1641
1	4878	1641

prune100.0ms (1.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	90	4	94

Merged error: 0.3b

Counts

94 → 4

Compiler

Compiled 1954 to 1383 computations (29.2% saved)

regimes67.0ms (1.2%)

Compiler: Compiled 730 to 516 computations (29.3% saved)

bsearch0.0ms (0%)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	70	21
1	70	21

end0.0ms (0%)

sample2.6s (47.3%)

Algorithm

1×

intervals

Results

1.2s	3057×	body	2560	valid
715.0ms	2519×	body	1280	valid
256.0ms	1242×	body	640	valid
92.0ms	600×	body	320	valid
41.0ms	387×	body	160	valid
12.0ms	195×	body	80	valid
0.0ms	10×	body	80	nan

Compiler

Compiled 145 to 106 computations (26.9% saved)

Details

analyze816.0ms (14.6%)

sample85.0ms (1.5%)

simplify124.0ms (2.2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite27.0ms (0.5%)

series205.0ms (3.7%)

simplify101.0ms (1.8%)

prune117.0ms (2.1%)

localize9.0ms (0.2%)

rewrite26.0ms (0.5%)

series207.0ms (3.7%)

simplify93.0ms (1.7%)

prune104.0ms (1.9%)

localize11.0ms (0.2%)

rewrite25.0ms (0.4%)

series198.0ms (3.5%)

simplify125.0ms (2.2%)

prune84.0ms (1.5%)

localize11.0ms (0.2%)

rewrite27.0ms (0.5%)

series173.0ms (3.1%)

simplify196.0ms (3.5%)

prune100.0ms (1.8%)

regimes67.0ms (1.2%)

bsearch0.0ms (0%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample2.6s (47.3%)

Profiling