Details

Time bar (total: 18.1s)

sample159.0ms

Algorithm
intervals
Results
85.0ms115×body1280valid
30.0ms78×body640valid
15.0ms288×body80nan
10.0ms43×body320valid
2.0ms15×body160valid
0.0ms5×body80valid

simplify131.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11812
22512
34012
46112
58812
610212
710612
done10612

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.8b

localize19.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)))

rewrite91.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×flip3-- div-exp rem-log-exp flip-- div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 82
Calls
2 calls:
52.0ms
(/ (+ 1.0 x) (- 1.0 x))
31.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series249.0ms

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

simplify2.1s

Counts
88 → 88
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01421276
13191221
28031150
319661108
done50001104

prune316.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

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

prune8.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)))))

rewrite473.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×div-exp rem-log-exp associate-*r* 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 → 294
Calls
3 calls:
100.0ms
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
270.0ms
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
78.0ms
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

series386.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
88.0ms
(* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
221.0ms
(log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))

simplify2.6s

Counts
303 → 303
Iterations

Useful iterations: 2 (972.0ms)

IterNodesCost
03207452
110516716
240366460
done50016460

prune917.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
16×log-div
14×associate-*r/
13×flip3-+ flip-+
12×frac-times add-cbrt-cube
6×distribute-rgt-in add-sqr-sqrt add-cube-cbrt flip3-- *-un-lft-identity distribute-lft-in pow-prod-down associate-*l/ prod-exp flip--
4×rem-log-exp associate--l+ log-pow cbrt-unprod add-log-exp
3×pow-unpow associate-*r*
2×cube-div sub-neg log-prod pow-pow pow-exp rem-cube-cbrt
1×cube-mult pow-to-exp unpow-prod-down unpow3 cube-prod associate-*l* *-commutative sqr-pow
Counts
4 → 98
Calls
4 calls:
100.0ms
(* (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0)))
18.0ms
(pow (* x (+ 1.0 x)) 3)
42.0ms
(log (* (+ (pow 1.0 6) (pow (* x (+ 1.0 x)) 3)) (+ 1.0 x)))
93.0ms
(log (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 4) (* (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0))))))

series427.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(* (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0)))
68.0ms
(pow (* x (+ 1.0 x)) 3)
145.0ms
(log (* (+ (pow 1.0 6) (pow (* x (+ 1.0 x)) 3)) (+ 1.0 x)))
108.0ms
(log (* (- (pow 1.0 3) (pow x 3)) (+ (pow 1.0 4) (* (* x (+ 1.0 x)) (- (* x (+ 1.0 x)) (* 1.0 1.0))))))

simplify3.0s

Counts
110 → 110
Iterations

Useful iterations: done (3.0s)

IterNodesCost
02682933
18302602
237892392
done50002390

prune882.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes32.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01320
11820
done1820

end0.0ms

sample5.9s

Algorithm
intervals
Results
3.2s3404×body1280valid
1.2s2505×body640valid
725.0ms8037×body80nan
345.0ms1253×body320valid
100.0ms627×body160valid
17.0ms211×body80valid