Details

analyze143.0ms (3.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
50%	50%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 37 to 29 computations (21.6% saved)

sample29.0ms (0.7%)

Algorithm

1×

intervals

Results

23.0ms

256×

body

128

valid

Compiler

Compiled 74 to 58 computations (21.6% saved)

simplify138.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1189×	`distribute-rgt-in_binary64`
1005×	`distribute-lft-in_binary64`
549×	`times-frac_binary64`
430×	`distribute-rgt-out_binary64`
414×	`associate-+l+_binary64`

Counts

1 → 1

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	11	52
1	23	52
2	46	46
3	116	46
4	270	46
5	356	46
6	584	46
7	1149	46
8	1304	40
9	1506	40
10	1768	40
11	1924	40
12	1964	40
13	2037	40
14	4734	40
15	4719	40
16	4836	40
17	4974	40
18	4918	40

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 1 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Compiler

Compiled 84 to 66 computations (21.4% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.1b	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

rewrite193.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

146×	`*-un-lft-identity_binary64`
74×	`times-frac_binary64`
70×	`distribute-lft-out_binary64`
58×	`add-sqr-sqrt_binary64`
48×	`associate-r_binary64`

Counts

4 → 168

Calls

4 calls:

13.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
12.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
12.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
8.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 4647 to 3665 computations (21.1% saved)

series76.0ms (1.8%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

13.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
11.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
11.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
11.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 2497 to 2041 computations (18.3% saved)

simplify241.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

499×	`cancel-sign-sub-inv_binary64`
392×	`associate-/l/_binary64`
345×	`associate-l_binary64`
283×	`associate-r_binary64`
214×	`div-sub_binary64`

Counts

216 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	4008
1	368	3698
2	1105	3662
3	3128	3638
4	4595	3638
5	4993	3638
6	4997	3638
7	4998	3638
8	4886	3638

prune84.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	149	2	151

Error

0.0b

Counts

151 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 1 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
▶	25.8b	(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Status

Error

Program

✓

0.0b

(/.f64 (+.f64 1 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

▶

25.8b

(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Compiler

Compiled 2794 to 2162 computations (22.6% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
2.0b	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))
3.3b	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)

rewrite172.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

117×	`*-un-lft-identity_binary64`
55×	`distribute-lft-out_binary64`
54×	`times-frac_binary64`
40×	`add-sqr-sqrt_binary64`
40×	`add-cube-cbrt_binary64`

Counts

4 → 141

Calls

4 calls:

11.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)
10.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))
8.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
8.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 4240 to 3411 computations (19.6% saved)

series88.0ms (2%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

16.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)
16.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
14.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))
14.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 2600 to 2155 computations (17.1% saved)

simplify122.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

706×	`times-frac_binary64`
289×	`sub-neg_binary64`
274×	`associate-l_binary64`
267×	`associate-r_binary64`
243×	`distribute-rgt-in_binary64`

Counts

189 → 138

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	194	3801
1	471	3617
2	1282	3518
3	3679	3488
4	5012	3488

prune94.0ms (2.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	137	3	140

Error

Counts

140 → 3

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 1 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
▶	26.5b	(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (.f64 t t))))))) (+.f64 2 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
✓	25.8b	(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Compiler

Compiled 3101 to 2462 computations (20.6% saved)

localize25.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (+.f64 t (/.f64 1 t)) 3)
1.3b	(pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t)))))
1.3b	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t))))))
1.3b	(/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))

rewrite518.0ms (12%)

Algorithm

1×	rewrite-expression-head

Error

Rules

270×	`*-un-lft-identity_binary64`
151×	`distribute-lft-out_binary64`
102×	`times-frac_binary64`
96×	`unpow-prod-down_binary64`
90×	`cube-prod_binary64`

Counts

4 → 210

Calls

4 calls:

30.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t)))))
24.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t))))))
16.0ms	(/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))
6.0ms	(pow.f64 (+.f64 t (/.f64 1 t)) 3)

Compiler

Compiled 7526 to 5922 computations (21.3% saved)

series138.0ms (3.2%)

Error

Counts

4 → 48

Calls

4 calls:

50.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t))))))
20.0ms	(/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))
19.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (*.f64 t t)))))
17.0ms	(pow.f64 (+.f64 t (/.f64 1 t)) 3)

Compiler

Compiled 3271 to 2664 computations (18.6% saved)

simplify308.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

373×	`cancel-sign-sub-inv_binary64`
263×	`unswap-sqr_binary64`
227×	`exp-prod_binary64`
216×	`associate-/l*_binary64`
202×	`associate-l_binary64`

Counts

258 → 228

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	281	7760
1	813	7473
2	2605	7370
3	4401	7370
4	4967	7370
5	4942	7370

prune328.0ms (7.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	228	3	231

Error

Counts

231 → 3

Alt Table

Status	Error	Program
	0.0b	(/.f64 (+.f64 1 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))) (+.f64 2 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
	26.5b	(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 (pow.f64 2 3) (pow.f64 (+.f64 t (/.f64 1 t)) 3)))) (+.f64 (.f64 4 t) (.f64 (+.f64 (+.f64 t (/.f64 1 t)) -2) (+.f64 1 (.f64 t t))))))) (+.f64 2 (.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
	25.8b	(/.f64 (+.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))) (+.f64 2 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Compiler

Compiled 5909 to 4598 computations (22.2% saved)

regimes357.0ms (8.3%)

Accuracy

Total 0.0b remaining (19.1%)

Threshold costs 0.0b (19.1%)

Compiler

Compiled 3828 to 3058 computations (20.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	44
1	22	44
2	21	44

end1.0ms (0%)

Compiler: Compiled 30 to 24 computations (20% saved)

sample1.2s (28.5%)

Algorithm

1×

intervals

Results

969.0ms

8000×

body

128

valid

Compiler

Compiled 176 to 140 computations (20.5% saved)

Details

analyze143.0ms (3.3%)

sample29.0ms (0.7%)

simplify138.0ms (3.2%)

prune3.0ms (0.1%)

localize10.0ms (0.2%)

rewrite193.0ms (4.5%)

series76.0ms (1.8%)

simplify241.0ms (5.6%)

prune84.0ms (1.9%)

localize15.0ms (0.3%)

rewrite172.0ms (4%)

series88.0ms (2%)

simplify122.0ms (2.8%)

prune94.0ms (2.2%)

localize25.0ms (0.6%)

rewrite518.0ms (12%)

series138.0ms (3.2%)

simplify308.0ms (7.1%)

prune328.0ms (7.6%)

regimes357.0ms (8.3%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.2s (28.5%)

Profiling