Details

Time bar (total: 17.1s)

sample190.0ms

Algorithm
intervals
Results
102.0ms115×body1280valid
35.0ms78×body640valid
16.0ms288×body80nan
11.0ms43×body320valid
3.0ms15×body160valid
0.0ms5×body80valid

simplify165.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11812
22512
34012
46512
59612
611812
712612
812812
done12812

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.8b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite52.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×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×expm1-log1p-u flip3-- div-exp rem-log-exp flip-- log1p-expm1-u div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 86
Calls
2 calls:
31.0ms
(/ (+ 1.0 x) (- 1.0 x))
17.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series243.0ms

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

simplify1.9s

Counts
92 → 92
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01461310
13351243
28511182
321661136
done50001134

prune224.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

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

prune9.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) (- (pow 1.0 3) (pow x 3)))
0.0b
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
3.7b
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

rewrite446.0ms

Algorithm
rewrite-expression-head
Rules
286×add-sqr-sqrt
257×*-un-lft-identity
201×times-frac
144×difference-of-squares
108×unpow-prod-down cube-prod
106×associate-*l*
72×sqr-pow
65×add-cube-cbrt
51×distribute-lft-out
45×distribute-lft-out--
25×associate-/r*
16×add-exp-log
10×add-cbrt-cube
9×difference-cubes
8×pow1
5×log-div flip3-+ flip-+
4×frac-times associate-*r/ prod-exp associate-/r/ associate-/l*
3×expm1-log1p-u div-exp rem-log-exp associate-*r* log1p-expm1-u add-log-exp
2×cbrt-undiv flip3-- pow-prod-down associate-*l/ log-pow flip-- cbrt-unprod div-inv associate-/l/ unswap-sqr
1×distribute-rgt-in log-prod frac-2neg distribute-lft-in clear-num *-commutative
Counts
3 → 300
Calls
3 calls:
73.0ms
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
278.0ms
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
69.0ms
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

series290.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
70.0ms
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
171.0ms
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

simplify2.5s

Counts
309 → 309
Iterations

Useful iterations: done (2.4s)

IterNodesCost
03267574
110776663
242946360
done50006359

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (+ 1.0 x))
0.0b
(pow (* x (+ 1.0 x)) 3)
3.7b
(log (* (+ 1.0 x) (+ (pow (* x (+ 1.0 x)) 3) (pow 1.0 6))))
3.7b
(log (* (fma (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0)) (pow 1.0 4)) (- (pow 1.0 3) (pow x 3))))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
15×pow1 add-exp-log
10×log-div
9×add-sqr-sqrt *-un-lft-identity add-cbrt-cube
8×flip3-+ associate-*r/ flip-+
7×add-cube-cbrt
4×expm1-log1p-u frac-times rem-log-exp associate-*r* pow-prod-down prod-exp log-pow log1p-expm1-u add-log-exp
3×pow-unpow associate-*l*
2×cube-div log-prod pow-pow associate-*l/ pow-exp cbrt-unprod rem-cube-cbrt
1×distribute-rgt-in cube-mult pow-to-exp unpow-prod-down flip3-- distribute-lft-in unpow3 cube-prod *-commutative flip-- distribute-lft-out unswap-sqr sqr-pow
Counts
4 → 89
Calls
4 calls:
40.0ms
(* x (+ 1.0 x))
22.0ms
(pow (* x (+ 1.0 x)) 3)
53.0ms
(log (* (+ 1.0 x) (+ (pow (* x (+ 1.0 x)) 3) (pow 1.0 6))))
121.0ms
(log (* (fma (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0)) (pow 1.0 4)) (- (pow 1.0 3) (pow x 3))))

series436.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* x (+ 1.0 x))
70.0ms
(pow (* x (+ 1.0 x)) 3)
142.0ms
(log (* (+ 1.0 x) (+ (pow (* x (+ 1.0 x)) 3) (pow 1.0 6))))
165.0ms
(log (* (fma (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0)) (pow 1.0 4)) (- (pow 1.0 3) (pow x 3))))

simplify2.2s

Counts
101 → 101
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02061775
15721591
222031469
done50001468

prune1.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes37.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01220
11420
done1420

end0.0ms

sample5.8s

Algorithm
intervals
Results
3.1s3404×body1280valid
1.1s2505×body640valid
578.0ms8037×body80nan
364.0ms1253×body320valid
96.0ms627×body160valid
15.0ms211×body80valid