Details

Time bar (total: 18.4s)

sample218.0ms

Algorithm
intervals
Results
46.0ms256×body80valid
32.0ms724×body80nan

simplify127.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
067
187
297
done97

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ 1.0 x) 1.0)
0.3b
(log (- (/ 1.0 x) 1.0))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
7×*-un-lft-identity
6×log-prod
4×add-log-exp difference-of-squares
3×pow1 add-exp-log add-cube-cbrt
2×log-div flip3-- times-frac add-cbrt-cube flip-- distribute-lft-out--
1×sub-neg diff-log rem-log-exp log-pow
Counts
2 → 32
Calls
2 calls:
21.0ms
(- (/ 1.0 x) 1.0)
15.0ms
(log (- (/ 1.0 x) 1.0))

series175.0ms

Counts
2 → 6
Calls
2 calls:
74.0ms
(- (/ 1.0 x) 1.0)
101.0ms
(log (- (/ 1.0 x) 1.0))

simplify2.3s

Counts
38 → 38
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
082433
1166422
2560383
33428379
done5001379

prune116.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.5 (/ (pow x 2) (pow 1.0 2)))
0.0b
(+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2))))
0.0b
(+ (log x) (+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
72×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
41×*-un-lft-identity
38×add-cube-cbrt
26×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
8×add-cbrt-cube add-log-exp
6×pow1 pow-to-exp pow-exp
4×sum-log
3×associate-+l+ log-prod associate-*l*
2×+-commutative flip3-+ cbrt-unprod flip-+ distribute-lft-out
1×cbrt-undiv associate-+r+ associate-*r/ pow-prod-down log-pow *-commutative div-inv
Counts
3 → 139
Calls
3 calls:
63.0ms
(* 0.5 (/ (pow x 2) (pow 1.0 2)))
18.0ms
(+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2))))
40.0ms
(+ (log x) (+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))

series268.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(* 0.5 (/ (pow x 2) (pow 1.0 2)))
145.0ms
(+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2))))
47.0ms
(+ (log x) (+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))

simplify2.3s

Counts
148 → 148
Iterations

Useful iterations: 2 (903.0ms)

IterNodesCost
02782215
17971979
239341661
done50001661

prune661.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))
0.8b
(- (log (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x))))))
32.3b
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
43.5b
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))

rewrite267.0ms

Algorithm
rewrite-expression-head
Rules
115×add-sqr-sqrt
72×log-prod
49×difference-of-squares
42×*-un-lft-identity
36×unpow-prod-down cube-prod
33×associate--l+
26×times-frac
20×sqr-pow
16×add-cube-cbrt
14×distribute-lft-out--
13×associate-*l*
12×pow1
11×add-exp-log
9×add-cbrt-cube
8×log-div
6×log-pow
4×flip3-+ associate-*r* flip-+ add-log-exp
3×flip3-- flip-- associate--r+
2×difference-cubes associate--l- frac-times associate-*r/ rem-log-exp prod-exp cbrt-unprod associate--r- unswap-sqr
1×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in diff-log div-exp pow-prod-down associate-*l/ *-commutative div-inv distribute-lft-out
Counts
4 → 154
Calls
4 calls:
66.0ms
(* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))
88.0ms
(- (log (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x))))))
14.0ms
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
89.0ms
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))

series857.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))
136.0ms
(- (log (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x))))))
103.0ms
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
502.0ms
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))

simplify3.6s

Counts
166 → 166
Iterations

Useful iterations: 2 (1.2s)

IterNodesCost
02943825
17983580
241713423
done50003423

prune822.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

32.3b
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
32.3b
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
43.5b
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))
43.5b
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
100×add-sqr-sqrt
72×log-prod
48×difference-of-squares
36×unpow-prod-down cube-prod
28×*-un-lft-identity
20×sqr-pow
16×times-frac
10×distribute-lft-out--
8×pow1 add-exp-log add-cube-cbrt log-div
4×rem-log-exp log-pow add-cbrt-cube add-log-exp
2×difference-cubes flip3-- flip3-+ flip-- flip-+
Counts
4 → 116
Calls
4 calls:
12.0ms
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
12.0ms
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
90.0ms
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))
86.0ms
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))

series1.1s

Counts
4 → 12
Calls
4 calls:
88.0ms
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
100.0ms
(log (+ (* 1.0 1.0) (* (/ 1.0 x) (+ 1.0 (/ 1.0 x)))))
407.0ms
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))
535.0ms
(log (- (pow (/ 1.0 x) 3) (pow 1.0 3)))

simplify1.3s

Counts
128 → 128
Iterations

Useful iterations: 2 (426.0ms)

IterNodesCost
01832904
14202718
217272518
done50012518

prune754.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes102.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
done67

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.5s24347×body80nan
481.0ms8000×body80valid