Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
7.8%	92%	0.2%	9
10.9%	88.9%	0.2%	10
34.7%	65.1%	0.2%	11
43.1%	56.7%	0.2%	12
44.2%	55.7%	0.2%	13
49.5%	50.3%	0.2%	14

sample24.0ms

Algorithm

intervals

Results

12.0ms	248×	body	80	valid
1.0ms	19×	body	80	invalid
1.0ms	4×	body	320	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	160	valid

simplify81.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5092	23

prune2.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: 4.3b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
0.0b	(tanh.f64 (/.f64 t y))
0.0b	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
4.4b	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

18×	`frac-sub_binary64_8578`
13×	`tanh-def-a_binary64_8400` `tanh-def-b_binary64_8401` `tanh-def-c_binary64_8402`
11×	`associate-*r/_binary64_8648`
9×	`pow1_binary64_8529` `add-exp-log_binary64_8551` `add-cbrt-cube_binary64_8559` `add-sqr-sqrt_binary64_8572` `*-un-lft-identity_binary64_8587`
8×	`add-log-exp_binary64_8552`
5×	`add-cube-cbrt_binary64_8558` `associate-r_binary64_8646` `sub-neg_binary64_8591`
3×	`cbrt-unprod_binary64_8556` `pow-prod-down_binary64_8510` `prod-exp_binary64_8534`
2×	`difference-of-squares_binary64_8616` `flip3--_binary64_8586` `flip--_binary64_8613` `distribute-lft-out--_binary64_8632` `distribute-lft-in_binary64_8629` `distribute-rgt-in_binary64_8630` `associate-+r+_binary64_8638`
1×	`associate-l_binary64_8647` `diff-log_binary64_8498` `flip-+_binary64_8612` `*-commutative_binary64_8655` `flip3-+_binary64_8585` `sum-log_binary64_8497` `+-commutative_binary64_8654`

Counts

4 → 78

Calls

4 calls:

5.0ms	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
2.0ms	(tanh.f64 (/.f64 t y))
13.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
15.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

series1.0s

Counts

4 → 12

Calls

4 calls:

248.0ms	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
265.0ms	(tanh.f64 (/.f64 t y))
252.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
248.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	80	4662
1	80	4662
0	5951	4500
0	80	4662
1	80	4662
0	5951	4500
0	1	3
1	1	3
0	67	3633
1	67	3633
0	4989	3519
1	4989	3519
0	67	3633
1	67	3633
0	4989	3519
1	4989	3519
0	1	3
1	1	3
0	51	2586
1	51	2586
0	5068	2472
0	51	2586
1	51	2586
0	5068	2472
0	1	3
1	1	3
0	83	4713
1	83	4713
0	5814	4545
0	83	4713
1	83	4713
0	5814	4545
0	1	3
1	1	3

simplify115.0ms

Counts

90 → 90

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5051	2789

prune100.0ms

Filtered

70 candidates to 90 candidates (-28.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	86	4	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	5	91

Merged error: 1.5b

Counts

91 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(tanh.f64 (/.f64 t y))
0.0b	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
0.3b	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
3.9b	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

33×	`associate-*r/_binary64_8648`
27×	`frac-sub_binary64_8578`
19×	`tanh-def-a_binary64_8400` `tanh-def-b_binary64_8401` `tanh-def-c_binary64_8402`
13×	`add-sqr-sqrt_binary64_8572`
11×	`pow1_binary64_8529` `add-exp-log_binary64_8551` `add-cbrt-cube_binary64_8559` `*-un-lft-identity_binary64_8587`
7×	`add-cube-cbrt_binary64_8558` `sub-neg_binary64_8591`
6×	`associate-l_binary64_8647` `associate-r_binary64_8646` `add-log-exp_binary64_8552`
5×	`distribute-lft-in_binary64_8629` `distribute-rgt-in_binary64_8630`
4×	`cbrt-unprod_binary64_8556` `pow-prod-down_binary64_8510` `prod-exp_binary64_8534`
3×	`flip3--_binary64_8586` `flip--_binary64_8613`
2×	`difference-of-squares_binary64_8616` `distribute-lft-out--_binary64_8632` `*-commutative_binary64_8655`
1×	`diff-log_binary64_8498` `unswap-sqr_binary64_8615`

Counts

4 → 98

Calls

4 calls:

2.0ms	(tanh.f64 (/.f64 t y))
8.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
13.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
15.0ms	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

series991.0ms

Counts

4 → 12

Calls

4 calls:

266.0ms	(tanh.f64 (/.f64 t y))
255.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
221.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
249.0ms	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	80	4662
1	80	4662
0	4930	4500
1	4930	4500
0	80	4662
1	80	4662
0	4930	4500
1	4930	4500
0	1	3
1	1	3
0	77	4611
1	77	4611
0	5186	4473
0	77	4611
1	77	4611
0	5186	4473
0	1	3
1	1	3
0	67	3633
1	67	3633
0	4989	3519
1	4989	3519
0	67	3633
1	67	3633
0	4989	3519
1	4989	3519
0	1	3
1	1	3
0	51	2586
1	51	2586
0	5068	2472
0	51	2586
1	51	2586
0	5068	2472
0	1	3
1	1	3

simplify115.0ms

Counts

110 → 110

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5004	3433

prune117.0ms

Filtered

82 candidates to 110 candidates (-34.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	107	8	115

Merged error: 1.4b

Counts

115 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
1.6b	(.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y))
2.6b	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

33×	`associate-*r/_binary64_8648`
30×	`pow1_binary64_8529` `add-exp-log_binary64_8551`
22×	`associate-*l/_binary64_8649`
18×	`frac-sub_binary64_8578` `cbrt-unprod_binary64_8556` `add-cbrt-cube_binary64_8559` `pow-prod-down_binary64_8510` `prod-exp_binary64_8534`
12×	`tanh-def-a_binary64_8400` `tanh-def-b_binary64_8401` `tanh-def-c_binary64_8402`
9×	`cbrt-prod_binary64_8554`
8×	`add-cube-cbrt_binary64_8558` `add-sqr-sqrt_binary64_8572` `*-un-lft-identity_binary64_8587`
7×	`associate-r_binary64_8646`
4×	`add-log-exp_binary64_8552`
2×	`associate-l_binary64_8647` `flip3--_binary64_8586` `flip--_binary64_8613` `*-commutative_binary64_8655` `pow1/3_binary64_8521`

Counts

4 → 93

Calls

4 calls:

1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
16.0ms	(.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y))
27.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y)))

series612.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(cbrt.f64 y)
87.0ms	(cbrt.f64 y)
248.0ms	(.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y))
189.0ms	(.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) (cbrt.f64 y)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	89	4818
1	89	4818
0	5323	4518
0	89	4818
1	89	4818
0	5323	4518
0	1	3
1	1	3
0	83	4680
1	83	4680
0	5358	4542
0	83	4680
1	83	4680
0	5358	4542
0	1	3
1	1	3
0	33	1914
1	33	1914
0	42	1899
1	42	1899
0	33	1914
1	33	1914
0	42	1899
1	42	1899
0	1	3
1	1	3
0	33	1914
1	33	1914
0	42	1899
1	42	1899
0	33	1914
1	33	1914
0	42	1899
1	42	1899
0	1	3
1	1	3

simplify111.0ms

Counts

105 → 105

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5345	2592

prune95.0ms

Filtered

71 candidates to 105 candidates (-47.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	105	8	113

Merged error: 1.4b

Counts

113 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) 3)
0.3b	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
3.9b	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
22.2b	(cbrt.f64 (pow.f64 (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) 3))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

77×	`associate-*r/_binary64_8648`
36×	`frac-sub_binary64_8578`
24×	`tanh-def-a_binary64_8400` `tanh-def-b_binary64_8401` `tanh-def-c_binary64_8402`
22×	`cube-div_binary64_8561`
17×	`pow1_binary64_8529` `add-exp-log_binary64_8551` `add-cbrt-cube_binary64_8559`
13×	`add-sqr-sqrt_binary64_8572`
11×	`cbrt-div_binary64_8555` `*-un-lft-identity_binary64_8587`
9×	`add-cube-cbrt_binary64_8558`
8×	`cbrt-prod_binary64_8554`
7×	`cbrt-unprod_binary64_8556` `pow-prod-down_binary64_8510` `prod-exp_binary64_8534`
6×	`associate-l_binary64_8647` `associate-r_binary64_8646` `sub-neg_binary64_8591`
5×	`distribute-lft-in_binary64_8629` `distribute-rgt-in_binary64_8630`
4×	`flip3--_binary64_8586` `flip--_binary64_8613` `add-log-exp_binary64_8552`
3×	`pow-unpow_binary64_8516` `pow-pow_binary64_8511` `rem-cube-cbrt_binary64_8563` `pow-exp_binary64_8507`
2×	`unpow3_binary64_8527` `cube-prod_binary64_8560` `unpow-prod-down_binary64_8518` `sqr-pow_binary64_8619` `cube-mult_binary64_8562` `*-commutative_binary64_8655`
1×	`rem-cbrt-cube_binary64_8564` `difference-of-squares_binary64_8616` `unswap-sqr_binary64_8615` `distribute-lft-out--_binary64_8632` `pow-to-exp_binary64_8508` `pow1/3_binary64_8521`

Counts

4 → 130

Calls

4 calls:

20.0ms	(pow.f64 (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) 3)
13.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
16.0ms	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
10.0ms	(cbrt.f64 (pow.f64 (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) 3))

series1.0s

Counts

4 → 12

Calls

4 calls:

287.0ms	(pow.f64 (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) 3)
225.0ms	(*.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
248.0ms	(.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))
283.0ms	(cbrt.f64 (pow.f64 (.f64 y (.f64 z (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))) 3))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	87	4707
1	87	4707
0	5310	4500
0	87	4707
1	87	4707
0	5310	4500
0	1	3
1	1	3
0	80	4662
1	80	4662
0	4930	4500
1	4930	4500
0	80	4662
1	80	4662
0	4930	4500
1	4930	4500
0	1	3
1	1	3
0	77	4611
1	77	4611
0	5186	4473
0	77	4611
1	77	4611
0	5186	4473
0	1	3
1	1	3
0	84	4689
1	84	4689
0	4886	4527
1	4886	4527
0	84	4689
1	84	4689
0	4886	4527
1	4886	4527
0	1	3
1	1	3

simplify148.0ms

Counts

142 → 142

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5130	5143

prune148.0ms

Filtered

102 candidates to 142 candidates (-39.2%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	142	8	150

Merged error: 1.4b

Counts

150 → 8

regimes109.0ms

Accuracy

0% (0.6b remaining)

Error of 2.1b against oracle of 1.6b and baseline of 2.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	23
1	26	23

end0.0ms

sample697.0ms

Algorithm

intervals

Results

395.0ms	7760×	body	80	valid
26.0ms	530×	body	80	invalid
18.0ms	94×	body	640	valid
13.0ms	46×	body	1280	valid
10.0ms	69×	body	320	valid
3.0ms	31×	body	160	valid

Details

analyze1.1s

sample24.0ms

simplify81.0ms

prune2.0ms

localize11.0ms

rewrite38.0ms

series1.0s

simplify115.0ms

prune100.0ms

localize11.0ms

rewrite44.0ms

series991.0ms

simplify115.0ms

prune117.0ms

localize16.0ms

rewrite51.0ms

series612.0ms

simplify111.0ms

prune95.0ms

localize14.0ms

rewrite67.0ms

series1.0s

simplify148.0ms

prune148.0ms

regimes109.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample697.0ms

Profiling