Details

Time bar (total: 8.8s)

sample29.0ms

Algorithm
intervals
Results
15.0ms300×body80valid
0.0ms2×body640valid
0.0ms1×body1280valid

simplify55.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
0911
1189
2347
3517
4597
done597

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
7×add-log-exp
6×add-sqr-sqrt distribute-lft-out
5×associate-*r*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
3×associate-*l* sum-log
2×flip3-+ associate-*r/ flip-+
1×+-commutative distribute-rgt-in associate-+l+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 39
Calls
2 calls:
119.0ms
(* d1 (+ (+ 10.0 d2) 20.0))
28.0ms
(+ (+ 10.0 d2) 20.0)

series78.0ms

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

simplify1.7s

Counts
45 → 45
Iterations

Useful iterations: 3 (790.0ms)

IterNodesCost
065392
1177380
2609342
33059334
done5002334

prune73.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite63.0ms

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

series37.0ms

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

simplify1.6s

Counts
27 → 27
Iterations

Useful iterations: 3 (676.0ms)

IterNodesCost
051253
1147246
2537218
32782212
done5002212

prune79.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ d2 20.0) (+ d2 20.0))
0.0b
(- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))
3.8b
(* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
8.4b
(/ (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
20×add-sqr-sqrt
13×pow1 add-exp-log add-cbrt-cube
12×add-cube-cbrt
8×associate-*r* distribute-lft-out
7×associate-*l*
6×flip3-+ times-frac associate-*r/ swap-sqr associate-/r* flip-+ add-log-exp
4×distribute-rgt-in frac-times flip3-- distribute-lft-in flip-- distribute-lft-out-- difference-of-squares
3×sub-neg prod-exp cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative associate-/l/ associate--r+ unswap-sqr
1×pow2 frac-2neg pow-plus diff-log clear-num pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 111
Calls
4 calls:
56.0ms
(* (+ d2 20.0) (+ d2 20.0))
8.0ms
(- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))
53.0ms
(* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
73.0ms
(/ (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)))

series317.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (+ d2 20.0) (+ d2 20.0))
38.0ms
(- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))
94.0ms
(* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
156.0ms
(/ (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))) (- 10.0 (+ d2 20.0)))

simplify1.5s

Counts
123 → 123
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01842089
15161943
220031667
done50021443

prune375.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
0.0b
(+ (+ 10.0 d2) 20.0)
0.0b
(pow (+ (+ 10.0 d2) 20.0) 3)
14.1b
(cbrt (pow (+ (+ 10.0 d2) 20.0) 3))

rewrite338.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
36×cbrt-prod
24×add-sqr-sqrt
21×distribute-lft-out
19×associate-*r*
16×unpow-prod-down cube-prod
15×add-cube-cbrt
9×add-log-exp
7×pow1 add-exp-log
6×cube-div add-cbrt-cube
5×unswap-sqr
4×cbrt-div flip3-+ flip-+ sqr-pow
3×cube-mult pow-unpow unpow3 associate-*l* sum-log
2×associate-*r/
1×+-commutative pow-to-exp associate-+l+ pow-pow pow1/3 pow-prod-down pow-exp prod-exp *-commutative rem-cbrt-cube cbrt-unprod rem-cube-cbrt
Counts
4 → 111
Calls
4 calls:
177.0ms
(* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
53.0ms
(+ (+ 10.0 d2) 20.0)
42.0ms
(pow (+ (+ 10.0 d2) 20.0) 3)
62.0ms
(cbrt (pow (+ (+ 10.0 d2) 20.0) 3))

series135.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
19.0ms
(+ (+ 10.0 d2) 20.0)
42.0ms
(pow (+ (+ 10.0 d2) 20.0) 3)
21.0ms
(cbrt (pow (+ (+ 10.0 d2) 20.0) 3))

simplify797.0ms

Counts
123 → 123
Iterations

Useful iterations: done (790.0ms)

IterNodesCost
01301499
12971155
211221061
done50001053

prune255.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes57.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
077
1107
done107

end0.0ms

sample893.0ms

Algorithm
intervals
Results
586.0ms9029×body80valid
12.0ms45×body640valid
10.0ms38×body1280valid
2.0ms15×body320valid
1.0ms11×body160valid