Details

analyze817.0ms

Algorithm

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

sample84.0ms

Algorithm

intervals

Results

41.0ms	101×	body	2560	valid
22.0ms	79×	body	1280	valid
10.0ms	35×	body	640	valid
3.0ms	19×	body	320	valid
1.0ms	13×	body	160	valid
1.0ms	9×	body	80	valid

simplify91.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4949	21
1	4949	21

prune1.0ms

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.5b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(.f64 5 (.f64 v v))
0.5b	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-sqr-sqrt_binary64`
3×	`pow-prod-down_binary64` `-un-lft-identity_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64` `prod-exp_binary64`
2×	`add-log-exp_binary64` `insert-posit16`
1×	`acos-asin_binary64` `associate-r_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

2 → 29

Calls

2 calls:

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

series452.0ms

Counts

2 → 6

Calls

2 calls:

284.0ms	(.f64 5 (.f64 v v))
168.0ms	(acos.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	84	1832
1	84	1832
0	84	1832
1	84	1832
0	5100	14
0	483	232
1	483	232
0	483	232
1	483	232
0	5358	15

simplify132.0ms

Counts

35 → 35

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	5027	433

prune35.0ms

Filtered

26 candidates to 35 candidates (-34.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	32	3	35
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	3	36

Merged error: 0.5b

Counts

36 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(*.f64 125 (pow.f64 v 6))
0.5b	(acos.f64 (/.f64 (-.f64 1 (cbrt.f64 (.f64 125 (pow.f64 v 6)))) (-.f64 (.f64 v v) 1)))
20.8b	(cbrt.f64 (*.f64 125 (pow.f64 v 6)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
8×	`add-exp-log_binary64`
7×	`associate-r_binary64`
6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`
4×	`unpow-prod-down_binary64`
3×	`add-log-exp_binary64` `pow1_binary64` `associate-l_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `insert-posit16`
2×	`sqr-pow_binary64`
1×	`pow-to-exp_binary64` `cbrt-unprod_binary64` `acos-asin_binary64` `pow1/3_binary64` `cbrt-prod_binary64` `pow-exp_binary64` `*-commutative_binary64`

Counts

3 → 45

Calls

3 calls:

7.0ms	(*.f64 125 (pow.f64 v 6))
1.0ms	(acos.f64 (/.f64 (-.f64 1 (cbrt.f64 (.f64 125 (pow.f64 v 6)))) (-.f64 (.f64 v v) 1)))
5.0ms	(cbrt.f64 (*.f64 125 (pow.f64 v 6)))

series634.0ms

Counts

3 → 9

Calls

3 calls:

170.0ms	(*.f64 125 (pow.f64 v 6))
243.0ms	(acos.f64 (/.f64 (-.f64 1 (cbrt.f64 (.f64 125 (pow.f64 v 6)))) (-.f64 (.f64 v v) 1)))
221.0ms	(cbrt.f64 (*.f64 125 (pow.f64 v 6)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	55	1650
1	55	1650
0	55	1650
1	55	1650
0	5408	14
0	101	1859
1	101	1859
0	101	1859
1	101	1859
0	4963	19
1	4963	19
0	529	248
1	529	248
0	529	248
1	529	248
0	1	3
1	1	3

simplify76.0ms

Counts

54 → 54

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5010	639

prune51.0ms

Filtered

41 candidates to 54 candidates (-31.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	54	3	57

Merged error: 0.5b

Counts

57 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
0.2b	(.f64 5 (.f64 v v))
0.6b	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 45

Calls

3 calls:

9.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
8.0ms	(.f64 5 (.f64 v v))
1.0ms	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

series575.0ms

Counts

3 → 9

Calls

3 calls:

127.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
278.0ms	(.f64 5 (.f64 v v))
170.0ms	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	84	1832
1	84	1832
0	84	1832
1	84	1832
0	5100	14
0	483	232
1	483	232
0	483	232
1	483	232
0	5358	15
0	430	2154
1	430	2154
0	430	2154
1	430	2154
0	1	3
1	1	3

simplify105.0ms

Counts

54 → 54

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4994	1102
1	4994	1102

prune57.0ms

Filtered

41 candidates to 54 candidates (-31.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	1	1
Picked	1	0	1
Done	1	0	1
Total	54	3	57

Merged error: 0.5b

Counts

57 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
0.0b	(exp.f64 (log.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))))
0.2b	(.f64 5 (.f64 v v))
0.6b	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 66

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))))
10.0ms	(exp.f64 (log.f64 (-.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))
1.0ms	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

series764.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))
175.0ms	(exp.f64 (log.f64 (-.f64 (/.f64 PI.f64 2) (asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1))))))
289.0ms	(.f64 5 (.f64 v v))
171.0ms	(asin.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (-.f64 (*.f64 v v) 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	84	1832
1	84	1832
0	84	1832
1	84	1832
0	5100	14
0	483	232
1	483	232
0	483	232
1	483	232
0	5358	15
0	714	2190
1	714	2190
0	714	2190
1	714	2190
0	1	3
1	1	3
0	430	2154
1	430	2154
0	430	2154
1	430	2154
0	1	3
1	1	3

simplify116.0ms

Counts

78 → 78

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4969	1918
1	4969	1918

prune77.0ms

Filtered

57 candidates to 78 candidates (-36.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	77	4	81

Merged error: 0.5b

Counts

81 → 4

regimes44.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	84	32
1	84	32

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.2s	2914×	body	2560	valid
714.0ms	2597×	body	1280	valid
249.0ms	1226×	body	640	valid
93.0ms	614×	body	320	valid
42.0ms	411×	body	160	valid
14.0ms	238×	body	80	valid
0.0ms	3×	body	80	nan

Details

analyze817.0ms

sample84.0ms

simplify91.0ms

prune1.0ms

localize8.0ms

rewrite9.0ms

series452.0ms

simplify132.0ms

prune35.0ms

localize11.0ms

rewrite14.0ms

series634.0ms

simplify76.0ms

prune51.0ms

localize11.0ms

rewrite20.0ms

series575.0ms

simplify105.0ms

prune57.0ms

localize14.0ms

rewrite30.0ms

series764.0ms

simplify116.0ms

prune77.0ms

regimes44.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample2.4s

Profiling