Details

Time bar (total: 15.4s)

sample31.0ms

Algorithm
intervals
Results
7.0ms256×pre80true
6.0ms256×body80valid

simplify126.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047
1117
2257
3537
4727
5887
6977
71037
done1037

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ a b) (+ a b))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
8×pow1
7×add-sqr-sqrt
6×flip3-+ swap-sqr flip-+ distribute-lft-out
5×add-cube-cbrt
4×frac-times associate-*r* associate-*l*
3×add-exp-log add-cbrt-cube
2×associate-*r/ associate-*l/
1×pow2 distribute-rgt-in distribute-lft-in pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 40
Calls
1 calls:
65.0ms
(* (+ a b) (+ a b))

series25.0ms

Counts
1 → 3
Calls
1 calls:
24.0ms
(* (+ a b) (+ a b))

simplify2.7s

Counts
43 → 43
Iterations

Useful iterations: done (2.7s)

IterNodesCost
062516
1188453
2742407
33324376
done5001373

prune79.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (+ a b) b)
0.0b
(+ (* (+ a b) a) (* (+ a b) b))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*l/
6×add-sqr-sqrt *-un-lft-identity flip3-+ flip-+
4×pow1 add-exp-log add-cube-cbrt associate-*l* frac-add add-cbrt-cube add-log-exp
3×associate-*r*
2×distribute-lft-out
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
2 → 37
Calls
2 calls:
30.0ms
(* (+ a b) b)
22.0ms
(+ (* (+ a b) a) (* (+ a b) b))

series73.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(* (+ a b) b)
44.0ms
(+ (* (+ a b) a) (* (+ a b) b))

simplify3.7s

Counts
43 → 43
Iterations

Useful iterations: 3 (1.6s)

IterNodesCost
088643
1262549
2991481
34613455
done5000455

prune149.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (- a b) (+ (* a a) (* b (- b a))))
0.3b
(* (- a b) (* (+ (pow a 3) (pow b 3)) b))
0.3b
(* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a))
0.4b
(/ (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (* b (- b a)))))

rewrite522.0ms

Algorithm
rewrite-expression-head
Rules
148×associate-*l/
80×frac-times
66×associate-/l/
64×frac-add
61×flip3-+ flip-+
60×flip3-- flip--
40×associate-*r/
21×add-exp-log add-cbrt-cube
16×pow1 add-sqr-sqrt
14×*-un-lft-identity
13×associate-*l*
10×add-cube-cbrt
8×prod-exp associate-/r/ cbrt-unprod
7×pow-prod-down
5×associate-*r*
4×add-log-exp
3×times-frac *-commutative associate-/l*
2×cbrt-undiv div-exp distribute-lft-out-- difference-of-squares
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r* div-inv unswap-sqr
Counts
4 → 179
Calls
4 calls:
54.0ms
(* (- a b) (+ (* a a) (* b (- b a))))
125.0ms
(* (- a b) (* (+ (pow a 3) (pow b 3)) b))
75.0ms
(* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a))
255.0ms
(/ (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (* b (- b a)))))

series384.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* (- a b) (+ (* a a) (* b (- b a))))
81.0ms
(* (- a b) (* (+ (pow a 3) (pow b 3)) b))
114.0ms
(* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a))
120.0ms
(/ (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (* (- a b) (+ (* a a) (* b (- b a)))))

simplify676.0ms

Counts
191 → 191
Iterations

Useful iterations: done (666.0ms)

IterNodesCost
03788028
114787132
done50006628

prune1.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (- a b) (* (+ (pow a 3) (pow b 3)) b))
0.3b
(/ 1 (* (- a b) (+ (* a a) (* b (- b a)))))
0.3b
(* (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (/ 1 (* (- a b) (+ (* a a) (* b (- b a))))))
0.3b
(* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a))

rewrite702.0ms

Algorithm
rewrite-expression-head
Rules
342×associate-*l/
210×frac-times
128×frac-add
110×flip3-+ flip-+
108×flip3-- flip--
73×associate-*r/
44×add-exp-log
28×add-cbrt-cube
19×pow1 prod-exp
17×associate-*r*
16×associate-/r/
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt associate-*l* cbrt-unprod
8×div-exp pow-prod-down
6×times-frac
4×cbrt-undiv rec-exp 1-exp add-log-exp
3×*-commutative associate-/l*
2×pow-flip div-inv
1×frac-2neg clear-num associate-/r* un-div-inv distribute-lft-out-- inv-pow difference-of-squares unswap-sqr
Counts
4 → 262
Calls
4 calls:
99.0ms
(* (- a b) (* (+ (pow a 3) (pow b 3)) b))
67.0ms
(/ 1 (* (- a b) (+ (* a a) (* b (- b a)))))
388.0ms
(* (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (/ 1 (* (- a b) (+ (* a a) (* b (- b a))))))
117.0ms
(* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a))

series479.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (- a b) (* (+ (pow a 3) (pow b 3)) b))
133.0ms
(/ 1 (* (- a b) (+ (* a a) (* b (- b a)))))
108.0ms
(* (+ (* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a)) (* (- a b) (* (+ (pow a 3) (pow b 3)) b))) (/ 1 (* (- a b) (+ (* a a) (* b (- b a))))))
133.0ms
(* (+ (* a a) (* b (- b a))) (* (- (* a a) (* b b)) a))

simplify1.4s

Counts
274 → 274
Iterations

Useful iterations: done (1.4s)

IterNodesCost
072022161
1260818104
done500217520

prune2.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes44.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
0611
11011
done1011

end0.0ms

sample592.0ms

Algorithm
intervals
Results
167.0ms8000×pre80true
149.0ms8000×body80valid