Details

Time bar (total: 16.9s)

sample23.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify10.2s

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.3b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite54.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:
52.0ms
(/ (- x y) (* (* x 2.0) y))

series91.0ms

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

simplify880.0ms

Counts
35 → 35
Iterations

Useful iterations: done (878.0ms)

IterNodesCost
084467
1239452
2989372
done5001370

prune76.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
49×prod-diff
45×times-frac
35×*-un-lft-identity
33×add-sqr-sqrt
31×add-cube-cbrt
19×div-inv
7×fma-neg
4×distribute-lft-out--
3×add-log-exp
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log frac-sub add-cbrt-cube flip-- log1p-expm1-u difference-of-squares
Counts
1 → 76
Calls
1 calls:
59.0ms
(- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))

series46.0ms

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

simplify1.1s

Counts
79 → 79
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01212614
13001845
213881333
done50001256

prune99.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log
42×add-sqr-sqrt
37×*-un-lft-identity
34×times-frac
25×add-cbrt-cube
23×add-cube-cbrt
20×prod-exp
19×associate-*r*
16×div-exp
8×cbrt-undiv cbrt-unprod
7×associate-*l* distribute-lft-out-- difference-of-squares
5×associate-/l*
4×pow1 rec-exp 1-exp
3×associate-/r* div-inv
2×expm1-log1p-u log1p-expm1-u associate-/l/ add-log-exp unswap-sqr
1×frac-times flip3-- frac-2neg div-sub associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative flip--
Counts
2 → 102
Calls
2 calls:
42.0ms
(/ (- x y) y)
76.0ms
(* (/ 1 (* x 2.0)) (/ (- x y) y))

series126.0ms

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

simplify1.8s

Counts
108 → 108
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01681410
14991257
230181066
done50001050

prune261.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize22.0ms

Local error

Found 1 expressions with local error:

6.2b
(/ (- (/ x y) 1) (* x 2.0))

rewrite79.0ms

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

series59.0ms

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

simplify868.0ms

Counts
43 → 43
Iterations

Useful iterations: done (866.0ms)

IterNodesCost
090575
1223555
2925499
done5001493

prune106.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes34.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

sample715.0ms

Algorithm
intervals
Results
389.0ms8000×body80valid