Details

Time bar (total: 17.3s)

sample174.0ms

Algorithm
intervals
Results
97.0ms122×body1280valid
27.0ms70×body640valid
14.0ms278×body80nan
9.0ms37×body320valid
3.0ms20×body160valid
0.0ms7×body80valid

simplify172.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09273
118273
225273
338273
460273
588273
6105273
7116273
8123273
9127273
done127273

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.8b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
4.1b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×add-cbrt-cube associate-/r/ associate-/l*
3×pow1
2×expm1-log1p-u flip3-- div-exp rem-log-exp log1p-expm1-u div-inv flip-- add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ log-pow flip-+
Counts
2 → 86
Calls
2 calls:
39.0ms
(/ (+ 1.0 x) (- 1.0 x))
15.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series253.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(/ (+ 1.0 x) (- 1.0 x))
201.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify3.4s

Counts
92 → 92
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
014631449
134728014
288127627
3288527348
done500127348

prune495.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune18.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- 1.0 x) (- 1.0 x))
0.0b
(/ (- (* 1.0 1.0) (* x x)) (* (- 1.0 x) (- 1.0 x)))
4.1b
(log (/ (- (* 1.0 1.0) (* x x)) (* (- 1.0 x) (- 1.0 x))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
33×add-sqr-sqrt
23×add-cube-cbrt
19×flip3-- flip--
18×prod-diff
16×log-prod add-exp-log associate-/r/
12×frac-times
11×distribute-rgt-in pow1 distribute-lft-in
10×add-cbrt-cube
8×times-frac
7×swap-sqr difference-of-squares
6×associate-*l/ associate-*r/ distribute-lft-out--
5×associate-*r* associate-*l*
4×div-exp associate-/l*
3×expm1-log1p-u rem-log-exp prod-exp log1p-expm1-u add-log-exp
2×cbrt-undiv sub-neg cbrt-unprod div-inv associate-/l/
1×pow2 log-div clear-num associate-/r* frac-2neg pow-plus div-sub pow-prod-down pow-sqr log-pow *-commutative pow-prod-up unswap-sqr
Counts
3 → 131
Calls
3 calls:
36.0ms
(* (- 1.0 x) (- 1.0 x))
27.0ms
(/ (- (* 1.0 1.0) (* x x)) (* (- 1.0 x) (- 1.0 x)))
15.0ms
(log (/ (- (* 1.0 1.0) (* x x)) (* (- 1.0 x) (- 1.0 x))))

series328.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(* (- 1.0 x) (- 1.0 x))
58.0ms
(/ (- (* 1.0 1.0) (* x x)) (* (- 1.0 x) (- 1.0 x)))
240.0ms
(log (/ (- (* 1.0 1.0) (* x x)) (* (- 1.0 x) (- 1.0 x))))

simplify2.4s

Counts
140 → 140
Iterations

Useful iterations: done (2.4s)

IterNodesCost
023152916
166442461
2195035727
done501935522

prune594.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log (- (* 1.0 1.0) (* x x))) (log (* (- 1.0 x) (- 1.0 x))))
0.0b
(* (- 1.0 x) (- 1.0 x))
3.3b
(log (- (* 1.0 1.0) (* x x)))
4.1b
(log (* (- 1.0 x) (- 1.0 x)))

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
71×pow1
55×*-un-lft-identity
54×prod-diff
48×add-sqr-sqrt log-pow
36×add-cube-cbrt
21×flip3-- flip--
20×log-div
12×frac-times distribute-lft-out--
11×distribute-rgt-in distribute-lft-in
10×log-prod add-exp-log
8×pow-prod-down associate--r-
7×swap-sqr difference-of-squares
6×pow2 pow-plus add-cbrt-cube associate-*l/ associate-*r/ pow-sqr pow-prod-up
5×associate-*r* associate-*l*
4×expm1-log1p-u fma-neg associate--l+ log1p-expm1-u add-log-exp
3×sub-neg rem-log-exp
2×associate--l- prod-exp
1×diff-log *-commutative cbrt-unprod associate--r+ unswap-sqr
Counts
4 → 184
Calls
4 calls:
79.0ms
(- (log (- (* 1.0 1.0) (* x x))) (log (* (- 1.0 x) (- 1.0 x))))
55.0ms
(* (- 1.0 x) (- 1.0 x))
9.0ms
(log (- (* 1.0 1.0) (* x x)))
18.0ms
(log (* (- 1.0 x) (- 1.0 x)))

series603.0ms

Counts
4 → 12
Calls
4 calls:
279.0ms
(- (log (- (* 1.0 1.0) (* x x))) (log (* (- 1.0 x) (- 1.0 x))))
20.0ms
(* (- 1.0 x) (- 1.0 x))
210.0ms
(log (- (* 1.0 1.0) (* x x)))
94.0ms
(log (* (- 1.0 x) (- 1.0 x)))

simplify2.4s

Counts
196 → 196
Iterations

Useful iterations: done (2.3s)

IterNodesCost
030492216
178076369
2205467048
done500264983

prune685.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes48.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
018594
123594
done23594

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.6s3459×body1280valid
987.0ms8008×body80nan
972.0ms2465×body640valid
325.0ms1224×body320valid
93.0ms634×body160valid
17.0ms218×body80valid