Details

Time bar (total: 5.4s)

sample22.0ms

Algorithm
intervals
Results
9.0ms296×body80valid
0.0ms2×body1280valid
0.0ms1×body320valid

simplify53.0ms

Counts
1 → 1
Iterations
IterNodes
done93
593
486
373
245
119
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ (+ 10.0 20.0) d2) d1)

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
5×add-sqr-sqrt associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt distribute-lft-out
2×associate-*l/
1×expm1-log1p-u flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 24
Calls
1 calls:
135.0ms
(* (+ (+ 10.0 20.0) d2) d1)

series57.0ms

Counts
1 → 3
Calls
1 calls:
57.0ms
(* (+ (+ 10.0 20.0) d2) d1)

simplify544.0ms

Counts
27 → 27
Iterations
IterNodes
done5002
2685
1129
049

prune193.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 2 expressions with local error:

3.6b
(* d1 (* (+ (+ 20.0 10.0) d2) (- (+ 20.0 10.0) d2)))
9.3b
(/ (* d1 (* (+ (+ 20.0 10.0) d2) (- (+ 20.0 10.0) d2))) (- (+ 10.0 20.0) d2))

rewrite492.0ms

Algorithm
rewrite-expression-head
Rules
67×*-un-lft-identity
60×distribute-rgt-in distribute-lft-in
48×prod-diff
37×add-sqr-sqrt
33×add-cube-cbrt
20×associate-*r/
16×add-cbrt-cube add-exp-log
14×distribute-lft-out
8×frac-times associate-/l/
7×pow1 flip3-- flip--
6×associate-/r* flip3-+ times-frac prod-exp cbrt-unprod flip-+
4×sub-neg associate-*l/ associate--l+ distribute-lft-out--
3×cbrt-undiv div-exp associate-*l* pow-prod-down
2×expm1-log1p-u associate-/r/ log1p-expm1-u add-log-exp difference-of-squares
1×clear-num frac-2neg associate-*r* *-commutative div-inv associate-/l*
Counts
2 → 129
Calls
2 calls:
223.0ms
(* d1 (* (+ (+ 20.0 10.0) d2) (- (+ 20.0 10.0) d2)))
257.0ms
(/ (* d1 (* (+ (+ 20.0 10.0) d2) (- (+ 20.0 10.0) d2))) (- (+ 10.0 20.0) d2))

series151.0ms

Counts
2 → 6
Calls
2 calls:
100.0ms
(* d1 (* (+ (+ 20.0 10.0) d2) (- (+ 20.0 10.0) d2)))
51.0ms
(/ (* d1 (* (+ (+ 20.0 10.0) d2) (- (+ 20.0 10.0) d2))) (- (+ 10.0 20.0) d2))

simplify501.0ms

Counts
135 → 135
Iterations
IterNodes
done5000
1923
0267

prune513.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize33.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ d1 (/ (+ 10.0 (- 20.0 d2)) (* (- (+ 20.0 10.0) d2) (+ (+ 20.0 10.0) d2))))
10.6b
(/ (+ 10.0 (- 20.0 d2)) (* (- (+ 20.0 10.0) d2) (+ (+ 20.0 10.0) d2)))

rewrite268.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
60×*-un-lft-identity
41×associate-/r/
30×add-sqr-sqrt add-cube-cbrt
20×frac-times
18×associate-/r*
16×flip3-+ add-cbrt-cube add-exp-log flip-+
15×flip3-- flip--
12×distribute-lft-out
10×associate-*l/ associate-*r/
8×associate-/l*
7×cbrt-undiv div-exp
6×div-inv distribute-lft-out--
2×expm1-log1p-u pow1 clear-num frac-2neg prod-exp cbrt-unprod log1p-expm1-u add-log-exp associate-/l/
1×associate-+r- div-sub
Counts
2 → 128
Calls
2 calls:
124.0ms
(/ d1 (/ (+ 10.0 (- 20.0 d2)) (* (- (+ 20.0 10.0) d2) (+ (+ 20.0 10.0) d2))))
138.0ms
(/ (+ 10.0 (- 20.0 d2)) (* (- (+ 20.0 10.0) d2) (+ (+ 20.0 10.0) d2)))

series92.0ms

Counts
2 → 6
Calls
2 calls:
58.0ms
(/ d1 (/ (+ 10.0 (- 20.0 d2)) (* (- (+ 20.0 10.0) d2) (+ (+ 20.0 10.0) d2))))
34.0ms
(/ (+ 10.0 (- 20.0 d2)) (* (- (+ 20.0 10.0) d2) (+ (+ 20.0 10.0) d2)))

simplify440.0ms

Counts
134 → 134
Iterations
IterNodes
done5001
1726
0250

prune788.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes130.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done10
110
07

end0.0ms

sample953.0ms

Algorithm
intervals
Results
570.0ms9009×body80valid
11.0ms52×body1280valid
6.0ms39×body640valid
3.0ms26×body320valid
1.0ms14×body160valid