Details

Time bar (total: 16.4s)

sample19.0ms

Algorithm
intervals
Results
9.0ms256×body80valid

simplify10.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1189
2479
31059
41809
52329
62719
73029
83239
93429
103619
113809
123999
134189
144379
154569
164759
174949
185139
195329
205519
215709
225899
236089
246279
256469
266659
276849
287039
297229
307419
317609
327799
337989
348179
358369
368559
378749
388939
399129
409319
419509
429699
439889
4410079
4510269
4610459
4710649
4810839
4911029
5011219
5111409
5211599
5311789
5411979
5512169
5612359
5712549
5812739
5912929
6013119
6113309
6213499
6313689
6413879
6514069
6614259
6714449
6814639
6914829
7015019
7115209
7215399
7315589
7415779
7515969
7616159
7716349
7816539
7916729
8016919
8117109
8217299
8317489
8417679
8517869
8618059
8718249
8818439
8918629
9018819
9119009
9219199
9319389
9419579
9519769
9619959
9720149
9820339
9920529
10020719
10120909
10221099
10321289
10421479
10521669
10621859
10722049
10822239
10922429
11022619
11122809
11222999
11323189
11423379
11523569
11623759
11723949
11824139
11924329
12024519
12124709
12224899
12325089
12425279
12525469
12625659
12725849
12826039
12926229
13026419
13126609
13226799
13326989
13427179
13527369
13627559
13727749
13827939
13928129
14028319
14128509
14228699
14328889
14429079
14529269
14629459
14729649
14829839
14930029
15030219
15130409
15230599
15330789
15430979
15531169
15631359
15731549
15831739
15931929
16032119
16132309
16232499
16332689
16432879
16533069
16633259
16733449
16833639
16933829
17034019
17134209
17234399
17334589
17434779
17534969
17635159
17735349
17835539
17935729
18035919
18136109
18236299
18336489
18436679
18536869
18637059
18737249
18837439
18937629
19037819
19138009
19238199
19338389
19438579
19538769
19638959
19739149
19839339
19939529
20039719
20139909
20240099
20340289
20440479
20540669
20640859
20741049
20841239
20941429
21041619
21141809
21241999
21342189
21442379
21542569
21642759
21742949
21843139
21943329
22043519
22143709
22243899
22344089
22444279
22544469
22644659
22744849
22845039
22945229
23045419
23145609
23245799
23345989
23446179
23546369
23646559
23746749
23846939
23947129
24047319
24147509
24247699
24347889
24448079
24548269
24648459
24748649
24848839
24949029
25049219
25149409
25249599
25349789
25449979
done50009

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.4b

localize13.0ms

Local error

Found 1 expressions with local error:

12.0b
(/ (- x y) (* (* x 2.0) y))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
7×add-sqr-sqrt *-un-lft-identity
5×times-frac associate-/l*
3×cbrt-undiv add-cube-cbrt div-exp prod-exp cbrt-unprod
2×associate-/l/ distribute-lft-out-- difference-of-squares
1×pow1 expm1-log1p-u flip3-- frac-2neg div-sub clear-num associate-/r* flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
50.0ms
(/ (- x y) (* (* x 2.0) y))

series82.0ms

Counts
1 → 3
Calls
1 calls:
82.0ms
(/ (- x y) (* (* x 2.0) y))

simplify971.0ms

Counts
35 → 35
Iterations

Useful iterations: done (969.0ms)

IterNodesCost
084467
1239452
2989372
done5001370

prune90.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))
0.2b
(/ 1 (* 2.0 y))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
49×prod-diff
48×times-frac
38×*-un-lft-identity
36×add-sqr-sqrt
34×add-cube-cbrt
20×div-inv
13×add-exp-log
7×fma-neg add-cbrt-cube
5×pow1
4×div-exp distribute-lft-out-- add-log-exp
3×prod-exp associate-/l*
2×cbrt-undiv expm1-log1p-u rec-exp pow-flip 1-exp log1p-expm1-u
1×sub-neg flip3-- frac-2neg diff-log pow-prod-down clear-num associate-/r* frac-sub flip-- cbrt-unprod inv-pow difference-of-squares
Counts
2 → 106
Calls
2 calls:
67.0ms
(- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))
12.0ms
(/ 1 (* 2.0 y))

series62.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))
27.0ms
(/ 1 (* 2.0 y))

simplify2.0s

Counts
112 → 112
Iterations

Useful iterations: done (2.0s)

IterNodesCost
01542833
13842016
219681492
done50011415

prune181.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- x y) (* x 2.0))
5.0b
(/ (/ (- x y) (* x 2.0)) y)

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
52×times-frac
34×add-sqr-sqrt *-un-lft-identity
22×add-cube-cbrt
16×add-exp-log add-cbrt-cube
14×associate-/l*
7×cbrt-undiv div-exp
6×div-inv distribute-lft-out-- difference-of-squares
4×associate-/r*
3×div-sub associate-/l/
2×pow1 expm1-log1p-u frac-2neg prod-exp clear-num cbrt-unprod log1p-expm1-u add-log-exp
1×flip3-- flip--
Counts
2 → 89
Calls
2 calls:
42.0ms
(/ (- x y) (* x 2.0))
47.0ms
(/ (/ (- x y) (* x 2.0)) y)

series134.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(/ (- x y) (* x 2.0))
80.0ms
(/ (/ (- x y) (* x 2.0)) y)

simplify995.0ms

Counts
95 → 95
Iterations

Useful iterations: done (987.0ms)

IterNodesCost
01551280
13891242
219481132
done50001116

prune231.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes43.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11311
done1311

end0.0ms

sample689.0ms

Algorithm
intervals
Results
409.0ms8002×body80valid