Details

analyze1.4s (8%)

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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

Compiler

Compiled 41 to 30 computations (26.8% saved)

sample1.6s (8.8%)

Results

1.6s	8256×	body	128	valid
1.0ms	5×	body	128	invalid

Compiler

Compiled 82 to 60 computations (26.8% saved)

preprocess36.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

803×	`fma-def_binary64`
686×	`distribute-rgt-in_binary64`
682×	`distribute-lft-in_binary64`
346×	`associate-+r+_binary64`
346×	`associate-+l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	164
1	183	164
2	492	164
3	1779	164
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 40 to 29 computations (27.5% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

742×	`associate-+l+_binary64`
706×	`distribute-rgt-in_binary64`
700×	`distribute-lft-in_binary64`
670×	`associate-+r+_binary64`
226×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	41
1	64	41
2	157	41
3	531	41
4	1733	41

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

25.4b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	25.5b	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	27.9b	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))

Status

Error

Program

▶

25.5b

(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))

27.9b

(/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))

Compiler

Compiled 216 to 150 computations (30.6% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y)
✓	0.2b	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
✓	0.3b	(fma.f64 x 104109730557/25000000000 393497462077/5000000000)
✓	24.6b	(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))

series636.0ms (3.6%)

Counts

4 → 108

Calls

27 calls:

65.0ms	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))	z	inf
65.0ms	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))	y	-inf
62.0ms	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))	y	inf
62.0ms	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))	z	-inf
55.0ms	(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))	y	-inf

rewrite54.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

247×	`add-sqr-sqrt_binary64`
234×	`log1p-expm1-u_binary64`
234×	`expm1-log1p-u_binary64`
233×	`add-cbrt-cube_binary64`
233×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	94
1	500	94

Stop Event

1×	node limit

Counts

4 → 89

simplify194.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

445×	`associate--l+_binary64`
303×	`cancel-sign-sub-inv_binary64`
277×	`associate-r_binary64`
253×	`associate-l_binary64`
245×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	9748
1	596	9708
2	2023	9622

Stop Event

1×	node limit

Counts

197 → 157

prune258.0ms (1.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	148	9	157
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	150	9	159

Error

0.3b

Counts

159 → 9

Alt Table

Status	Error	Program
	41.2b	(*.f64 (+.f64 x -2) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 2))
▶	24.7b	(.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (fma.f64 4297481763/31250000 (/.f64 x (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)) (.f64 393497462077/5000000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (/.f64 y (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)))))
	48.2b	(pow.f64 (sqrt.f64 (/.f64 (*.f64 (+.f64 x -2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 2)
	34.1b	(*.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 (/.f64 2157218858562374472887084159837293/625000000000000000000000000000 x) x) (/.f64 y (pow.f64 x 3))) (-.f64 104109730557/25000000000 (+.f64 (/.f64 12723143231740136880149/125000000000000000000 x) (/.f64 387732519225574910908939577061312055388407301/3125000000000000000000000000000000000000 (pow.f64 x 3))))))
	32.0b	(-.f64 (+.f64 (.f64 168466327098500000000/553822718361107519809 (.f64 z x)) (.f64 168466327098500000000/553822718361107519809 (.f64 y (pow.f64 x 2)))) (+.f64 (.f64 1000000000/23533438303 (.f64 y x)) (+.f64 (.f64 23298017199368982832548000000000/13033352773350869092174451844127 (.f64 z (pow.f64 x 2))) (+.f64 (.f64 1000000000/23533438303 z) (.f64 137519416416/23533438303 (pow.f64 x 2))))))
	40.1b	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (cbrt.f64 (pow.f64 (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) 3)) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	28.5b	(pow.f64 (cbrt.f64 (/.f64 (*.f64 (+.f64 x -2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 3)
	33.9b	(+.f64 (+.f64 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x) (/.f64 y (.f64 x x))) (-.f64 (fma.f64 x 104109730557/25000000000 -13764240537310136880149/125000000000000000000) (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
	25.5b	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))

Compiler

Compiled 6691 to 4599 computations (31.3% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.8b	(fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))
✓	9.0b	(+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))
✓	23.8b	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))
✓	24.1b	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))

series14.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

2.0ms	(+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))	x	0
1.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))	x	0
1.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))	x	-inf
1.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))	x	0
1.0ms	(/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))	x	inf

rewrite72.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

186×	`add-sqr-sqrt_binary64`
186×	`log1p-expm1-u_binary64`
186×	`expm1-log1p-u_binary64`
183×	`add-cbrt-cube_binary64`
179×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	111
1	405	111

Stop Event

1×	node limit

Counts

4 → 135

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

474×	`cancel-sign-sub-inv_binary64`
441×	`fma-neg_binary64`
288×	`fma-def_binary64`
259×	`*-commutative_binary64`
177×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	720
1	227	706
2	626	678
3	2020	667

Stop Event

1×	node limit

Counts

183 → 188

prune2.0s (11%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	532	0	532
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	532	9	541

Error

0.3b

Counts

541 → 9

Alt Table

Status	Error	Program
	41.2b	(*.f64 (+.f64 x -2) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 2))
✓	24.7b	(.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (fma.f64 4297481763/31250000 (/.f64 x (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)) (.f64 393497462077/5000000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (/.f64 y (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)))))
	48.2b	(pow.f64 (sqrt.f64 (/.f64 (*.f64 (+.f64 x -2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 2)
	34.1b	(*.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 (/.f64 2157218858562374472887084159837293/625000000000000000000000000000 x) x) (/.f64 y (pow.f64 x 3))) (-.f64 104109730557/25000000000 (+.f64 (/.f64 12723143231740136880149/125000000000000000000 x) (/.f64 387732519225574910908939577061312055388407301/3125000000000000000000000000000000000000 (pow.f64 x 3))))))
	32.0b	(-.f64 (+.f64 (.f64 168466327098500000000/553822718361107519809 (.f64 z x)) (.f64 168466327098500000000/553822718361107519809 (.f64 y (pow.f64 x 2)))) (+.f64 (.f64 1000000000/23533438303 (.f64 y x)) (+.f64 (.f64 23298017199368982832548000000000/13033352773350869092174451844127 (.f64 z (pow.f64 x 2))) (+.f64 (.f64 1000000000/23533438303 z) (.f64 137519416416/23533438303 (pow.f64 x 2))))))
	40.1b	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (cbrt.f64 (pow.f64 (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) 3)) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	28.5b	(pow.f64 (cbrt.f64 (/.f64 (*.f64 (+.f64 x -2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 3)
	33.9b	(+.f64 (+.f64 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x) (/.f64 y (.f64 x x))) (-.f64 (fma.f64 x 104109730557/25000000000 -13764240537310136880149/125000000000000000000) (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
▶	25.5b	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))

Compiler

Compiled 70717 to 49719 computations (29.7% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y)
	0.3b	(fma.f64 x 104109730557/25000000000 393497462077/5000000000)
✓	13.5b	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))
✓	24.6b	(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z))

series797.0ms (4.5%)

Counts

2 → 72

Calls

18 calls:

85.0ms	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))	z	inf
83.0ms	(/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z))	z	-inf
79.0ms	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))	y	inf
77.0ms	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))	z	-inf
75.0ms	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (-.f64 x -2)))	y	-inf

rewrite42.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

273×	`log1p-expm1-u_binary64`
273×	`expm1-log1p-u_binary64`
272×	`add-cbrt-cube_binary64`
271×	`add-log-exp_binary64`
270×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	83
1	609	83

Stop Event

1×	node limit

Counts

2 → 37

simplify271.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

742×	`associate-/l*_binary64`
362×	`+-commutative_binary64`
323×	`associate-+r+_binary64`
323×	`fma-def_binary64`
253×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	969	19077
1	3408	19063

Stop Event

1×	node limit

Counts

109 → 109

prune464.0ms (2.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	160	2	162
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	163	8	171

Error

0.2b

Counts

171 → 8

Alt Table

Status	Error	Program
	41.2b	(*.f64 (+.f64 x -2) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 2))
✓	24.7b	(.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (fma.f64 4297481763/31250000 (/.f64 x (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)) (.f64 393497462077/5000000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (/.f64 y (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)))))
	49.4b	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 25000000000/104109730557 (-.f64 x -2)))
	33.9b	(+.f64 (+.f64 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x) (/.f64 y (.f64 x x))) (-.f64 (fma.f64 x 104109730557/25000000000 -13764240537310136880149/125000000000000000000) (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
	32.0b	(-.f64 (+.f64 (.f64 168466327098500000000/553822718361107519809 (.f64 z x)) (.f64 168466327098500000000/553822718361107519809 (.f64 y (pow.f64 x 2)))) (+.f64 (.f64 1000000000/23533438303 (.f64 y x)) (+.f64 (.f64 23298017199368982832548000000000/13033352773350869092174451844127 (.f64 z (pow.f64 x 2))) (+.f64 (.f64 1000000000/23533438303 z) (.f64 137519416416/23533438303 (pow.f64 x 2))))))
	40.1b	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (cbrt.f64 (pow.f64 (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) 3)) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	34.1b	(*.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 (/.f64 2157218858562374472887084159837293/625000000000000000000000000000 x) x) (/.f64 y (pow.f64 x 3))) (-.f64 104109730557/25000000000 (+.f64 (/.f64 12723143231740136880149/125000000000000000000 x) (/.f64 387732519225574910908939577061312055388407301/3125000000000000000000000000000000000000 (pow.f64 x 3))))))
▶	27.4b	(-.f64 (+.f64 (.f64 (/.f64 y (+.f64 x 2)) (/.f64 (pow.f64 x 3) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))) (fma.f64 755386622043/6250000000 (/.f64 (pow.f64 x 4) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (fma.f64 104109730557/25000000000 (/.f64 (/.f64 (pow.f64 x 6) (+.f64 x 2)) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x))))) (+.f64 (.f64 (/.f64 z (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (.f64 x x)) (.f64 393497462077/5000000000 (/.f64 (/.f64 (pow.f64 x 5) (+.f64 x 2)) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))))))) (fma.f64 393497462077/1250000000 (/.f64 (pow.f64 x 3) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (fma.f64 4 (.f64 (/.f64 y (+.f64 x 2)) (/.f64 x (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))) (fma.f64 4 (/.f64 z (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (.f64 4297481763/7812500 (/.f64 (.f64 x x) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))))))))

Compiler

Compiled 18206 to 12649 computations (30.5% saved)

localize66.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	24.1b	(/.f64 (pow.f64 x 3) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))
✓	25.7b	(/.f64 (/.f64 (pow.f64 x 6) (+.f64 x 2)) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))
✓	25.7b	(/.f64 (pow.f64 x 3) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (*.f64 156699607947/500000000 x)))) (+.f64 x 2)))
✓	25.9b	(/.f64 (pow.f64 x 4) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (*.f64 156699607947/500000000 x)))) (+.f64 x 2)))

series16.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

3.0ms	(/.f64 (pow.f64 x 3) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (*.f64 156699607947/500000000 x)))) (+.f64 x 2)))	x	inf
1.0ms	(/.f64 (pow.f64 x 4) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (*.f64 156699607947/500000000 x)))) (+.f64 x 2)))	x	0
1.0ms	(/.f64 (pow.f64 x 3) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (*.f64 156699607947/500000000 x)))) (+.f64 x 2)))	x	-inf
1.0ms	(/.f64 (/.f64 (pow.f64 x 6) (+.f64 x 2)) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))	x	0
1.0ms	(/.f64 (pow.f64 x 4) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (*.f64 156699607947/500000000 x)))) (+.f64 x 2)))	x	-inf

rewrite59.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

276×	`log1p-expm1-u_binary64`
276×	`expm1-log1p-u_binary64`
271×	`add-cbrt-cube_binary64`
266×	`add-cube-cbrt_binary64`
266×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	150
1	601	150

Stop Event

1×	node limit

Counts

4 → 68

simplify54.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

844×	`fma-neg_binary64`
340×	`fma-def_binary64`
305×	`sub-neg_binary64`
210×	`cancel-sign-sub-inv_binary64`
207×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	816
1	320	800
2	921	792
3	3003	788

Stop Event

1×	node limit

Counts

116 → 125

prune838.0ms (4.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	125	8	133

Error

0.2b

Counts

133 → 8

Alt Table

Status	Error	Program
	41.2b	(*.f64 (+.f64 x -2) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) 2))
✓	24.7b	(.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (fma.f64 4297481763/31250000 (/.f64 x (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)) (.f64 393497462077/5000000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000)))))) (/.f64 y (/.f64 (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (.f64 x x) 263505074721/1000000000 (fma.f64 (pow.f64 x 3) 216700011257/5000000000 (.f64 x 156699607947/500000000))))) x)))))
	49.4b	(/.f64 (.f64 1 (fma.f64 x x -4)) (.f64 25000000000/104109730557 (-.f64 x -2)))
	33.9b	(+.f64 (+.f64 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x) (/.f64 y (.f64 x x))) (-.f64 (fma.f64 x 104109730557/25000000000 -13764240537310136880149/125000000000000000000) (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (.f64 x x))))
	32.0b	(-.f64 (+.f64 (.f64 168466327098500000000/553822718361107519809 (.f64 z x)) (.f64 168466327098500000000/553822718361107519809 (.f64 y (pow.f64 x 2)))) (+.f64 (.f64 1000000000/23533438303 (.f64 y x)) (+.f64 (.f64 23298017199368982832548000000000/13033352773350869092174451844127 (.f64 z (pow.f64 x 2))) (+.f64 (.f64 1000000000/23533438303 z) (.f64 137519416416/23533438303 (pow.f64 x 2))))))
	40.1b	(*.f64 (+.f64 x -2) (/.f64 (fma.f64 x (cbrt.f64 (pow.f64 (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) 3)) z) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))
	34.1b	(*.f64 (+.f64 x -2) (+.f64 (+.f64 (/.f64 (/.f64 2157218858562374472887084159837293/625000000000000000000000000000 x) x) (/.f64 y (pow.f64 x 3))) (-.f64 104109730557/25000000000 (+.f64 (/.f64 12723143231740136880149/125000000000000000000 x) (/.f64 387732519225574910908939577061312055388407301/3125000000000000000000000000000000000000 (pow.f64 x 3))))))
✓	27.4b	(-.f64 (+.f64 (.f64 (/.f64 y (+.f64 x 2)) (/.f64 (pow.f64 x 3) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))) (fma.f64 755386622043/6250000000 (/.f64 (pow.f64 x 4) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (fma.f64 104109730557/25000000000 (/.f64 (/.f64 (pow.f64 x 6) (+.f64 x 2)) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x))))) (+.f64 (.f64 (/.f64 z (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (.f64 x x)) (.f64 393497462077/5000000000 (/.f64 (/.f64 (pow.f64 x 5) (+.f64 x 2)) (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))))))) (fma.f64 393497462077/1250000000 (/.f64 (pow.f64 x 3) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (fma.f64 4 (.f64 (/.f64 y (+.f64 x 2)) (/.f64 x (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))))) (fma.f64 4 (/.f64 z (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))) (.f64 4297481763/7812500 (/.f64 (.f64 x x) (.f64 (+.f64 (+.f64 (pow.f64 x 4) 23533438303/500000000) (fma.f64 263505074721/1000000000 (.f64 x x) (fma.f64 216700011257/5000000000 (pow.f64 x 3) (.f64 156699607947/500000000 x)))) (+.f64 x 2))))))))

Compiler

Compiled 33036 to 23208 computations (29.7% saved)

regimes8.3s (46.7%)

Accuracy

Total 0.5b remaining (68.7%)

Threshold costs 0.5b (68.7%)

Counts

316 → 3

Compiler

Compiled 119596 to 85384 computations (28.6% saved)

bsearch85.0ms (0.5%)

Algorithm

2×	binary-search

Calls

2 calls:

28.0ms	x
15.0ms	x

Steps

Iters	Point		Range
3.19189257468307e+61	∈ [	1.143344728124225e+57	,	3.2662798420642475e+61	]
-2.023370779528287e+72	∈ [	-4.554287811786279e+72	,	-1.3417492211878401e+67	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64`
8×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`distribute-neg-frac_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	224
1	80	224
2	88	224
3	90	224
4	91	224

Stop Event

1×

saturated

end440.0ms (2.5%)

Stop Event

1×

fuel

Compiler

Compiled 887 to 628 computations (29.2% saved)

Details

analyze1.4s (8%)

sample1.6s (8.8%)

preprocess36.0ms (0.2%)

simplify20.0ms (0.1%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series636.0ms (3.6%)

rewrite54.0ms (0.3%)

simplify194.0ms (1.1%)

prune258.0ms (1.4%)

localize31.0ms (0.2%)

series14.0ms (0.1%)

rewrite72.0ms (0.4%)

simplify47.0ms (0.3%)

prune2.0s (11%)

localize24.0ms (0.1%)

series797.0ms (4.5%)

rewrite42.0ms (0.2%)

simplify271.0ms (1.5%)

prune464.0ms (2.6%)

localize66.0ms (0.4%)

series16.0ms (0.1%)

rewrite59.0ms (0.3%)

simplify54.0ms (0.3%)

prune838.0ms (4.7%)

regimes8.3s (46.7%)

bsearch85.0ms (0.5%)

simplify7.0ms (0%)

end440.0ms (2.5%)

Profiling