Details

Time bar (total: 17.1s)

sample23.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0583
1683
done683

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ y 500.0))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×*-un-lft-identity add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ distribute-lft-out
Counts
1 → 12
Calls
1 calls:
9.0ms
(+ x (/ y 500.0))

series40.0ms

Counts
1 → 3
Calls
1 calls:
40.0ms
(+ x (/ y 500.0))

simplify3.3s

Counts
15 → 15
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0292629
1802258
22092258
34972258
412202258
530192258
done50372258

prune79.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (* 0.002 y))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 11
Calls
1 calls:
9.0ms
(+ x (* 0.002 y))

series35.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(+ x (* 0.002 y))

simplify4.2s

Counts
14 → 14
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0262546
1812175
22482175
36442175
415112175
538222175
done50012175

prune81.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y 500.0))
0.2b
(* (/ y 500.0) (/ y 500.0))
5.1b
(- (* x x) (* (/ y 500.0) (/ y 500.0)))
31.9b
(/ (- (* x x) (* (/ y 500.0) (/ y 500.0))) (- x (/ y 500.0)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
86×add-sqr-sqrt
70×times-frac
56×*-un-lft-identity
44×add-cube-cbrt
20×difference-of-squares
18×add-cbrt-cube add-exp-log
13×swap-sqr associate-*r* associate-*l*
11×pow1
8×add-log-exp
6×associate-/r* distribute-lft-out--
5×cbrt-undiv div-exp div-inv
4×flip3-- prod-exp cbrt-unprod flip-- associate-/l* unswap-sqr
2×sub-neg diff-log associate-/r/ associate-/l/
1×pow2 frac-times clear-num frac-2neg pow-plus div-sub pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up
Counts
4 → 146
Calls
4 calls:
8.0ms
(- x (/ y 500.0))
25.0ms
(* (/ y 500.0) (/ y 500.0))
11.0ms
(- (* x x) (* (/ y 500.0) (/ y 500.0)))
34.0ms
(/ (- (* x x) (* (/ y 500.0) (/ y 500.0))) (- x (/ y 500.0)))

series278.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(- x (/ y 500.0))
34.0ms
(* (/ y 500.0) (/ y 500.0))
75.0ms
(- (* x x) (* (/ y 500.0) (/ y 500.0)))
127.0ms
(/ (- (* x x) (* (/ y 500.0) (/ y 500.0))) (- x (/ y 500.0)))

simplify2.7s

Counts
158 → 158
Iterations

Useful iterations: done (2.7s)

IterNodesCost
022846190
169941008
2236338245
done500437925

prune702.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (/ y 500.0))
0.1b
(/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0))))
0.1b
(/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0))))
0.1b
(* (/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0)))) (/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0)))))

rewrite795.0ms

Algorithm
rewrite-expression-head
Rules
381×add-sqr-sqrt
235×times-frac
225×*-un-lft-identity
148×sqrt-prod
124×difference-of-squares
72×associate-*r*
69×add-cube-cbrt
49×distribute-lft-out--
29×distribute-lft-out
26×associate-*l*
20×add-cbrt-cube add-exp-log
16×associate-/r*
10×associate-/l*
8×associate-/r/
7×pow1
6×cbrt-undiv div-exp
5×div-inv
4×prod-exp cbrt-unprod add-log-exp unswap-sqr associate-/l/
3×flip3-+ flip3-- flip-+ flip--
2×rem-sqrt-square clear-num frac-2neg
1×frac-times sqrt-pow1 pow1/2 sqrt-div div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 292
Calls
4 calls:
6.0ms
(sqrt (/ y 500.0))
73.0ms
(/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0))))
73.0ms
(/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0))))
606.0ms
(* (/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0)))) (/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0)))))

series3.8s

Counts
4 → 12
Calls
4 calls:
51.0ms
(sqrt (/ y 500.0))
715.0ms
(/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0))))
420.0ms
(/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0))))
2.6s
(* (/ (+ x (/ y 500.0)) (+ (sqrt x) (sqrt (/ y 500.0)))) (/ (- x (/ y 500.0)) (- (sqrt x) (sqrt (/ y 500.0)))))

simplify802.0ms

Iterations

Useful iterations: 0 (293.0ms)

IterNodesCost
0420149590