Details

Time bar (total: 9.1s)

sample8.0ms

Algorithm
intervals
Results
3.0ms256×body80valid

simplify3.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
045
165
275
done75

prune1.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ x (- 1.0 x))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
15×times-frac
11×add-cube-cbrt
5×associate-/r*
4×distribute-lft-out-- difference-of-squares
3×add-exp-log add-cbrt-cube associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv expm1-log1p-u flip3-- frac-2neg div-exp clear-num flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 39
Calls
1 calls:
5.0ms
(/ x (- 1.0 x))

series35.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(/ x (- 1.0 x))

simplify2.6s

Counts
42 → 42
Iterations

Useful iterations: 4 (1.2s)

IterNodesCost
084436
1174410
2426387
31082384
43115382
done5001382

prune68.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.1b
(/ 1 (+ (/ 1.0 x) -1))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×times-frac
20×*-un-lft-identity
12×add-cube-cbrt
8×difference-of-sqr--1
6×associate-/r*
5×add-exp-log
4×distribute-lft-out
3×add-cbrt-cube associate-/l*
2×pow1 div-exp associate-/r/
1×cbrt-undiv expm1-log1p-u rec-exp pow-flip frac-2neg flip3-+ 1-exp clear-num flip-+ log1p-expm1-u div-inv inv-pow add-log-exp
Counts
1 → 47
Calls
1 calls:
15.0ms
(/ 1 (+ (/ 1.0 x) -1))

series31.0ms

Counts
1 → 3
Calls
1 calls:
31.0ms
(/ 1 (+ (/ 1.0 x) -1))

simplify3.1s

Counts
50 → 50
Iterations

Useful iterations: 4 (1.8s)

IterNodesCost
097628
1204555
2446509
31111505
43452504
done5000504

prune61.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* 1.0 x))
5.6b
(/ x (- (pow 1.0 3) (pow x 3)))
16.3b
(* (/ x (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
236×add-sqr-sqrt
151×times-frac
133×*-un-lft-identity
112×difference-of-squares
84×unpow-prod-down cube-prod
81×associate-*l*
63×add-cube-cbrt
56×sqr-pow
35×distribute-lft-out--
25×associate-/r*
10×add-exp-log add-cbrt-cube
7×difference-cubes
5×pow1 add-log-exp
4×associate-/r/
3×expm1-log1p-u flip3-+ associate-*r* flip-+ log1p-expm1-u associate-/l*
2×cbrt-undiv frac-times flip3-- associate-*r/ div-exp prod-exp flip-- cbrt-unprod div-inv unswap-sqr
1×+-commutative distribute-rgt-in distribute-rgt-out fma-def frac-2neg distribute-lft-in pow-prod-down associate-*l/ clear-num sum-log *-commutative
Counts
3 → 242
Calls
3 calls:
3.0ms
(+ (* x x) (* 1.0 x))
26.0ms
(/ x (- (pow 1.0 3) (pow x 3)))
98.0ms
(* (/ x (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series229.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(+ (* x x) (* 1.0 x))
100.0ms
(/ x (- (pow 1.0 3) (pow x 3)))
73.0ms
(* (/ x (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify2.0s

Counts
251 → 251
Iterations

Useful iterations: done (2.0s)

IterNodesCost
03175248
110674527
240564313
done50004311

prune544.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes11.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1107
done107

end0.0ms

sample192.0ms

Algorithm
intervals
Results
106.0ms8000×body80valid