Details

Time bar (total: 10.9s)

sample26.0ms

Algorithm
intervals
Results
12.0ms383×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 3 (17.0ms)

IterNodesCost
01115
12513
26811
31819
43899
56799
69479
713299
816079
916149
done16149

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ d4 (- d2 d3)) d1)
0.0b
(* d1 (- (+ d4 (- d2 d3)) d1))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
11×add-log-exp
10×add-sqr-sqrt
8×distribute-lft-out--
7×associate-*r*
4×pow1 add-exp-log add-cube-cbrt diff-log add-cbrt-cube distribute-lft-out
3×distribute-rgt-in sub-neg distribute-lft-in associate-*l* associate--l+
2×flip3-- associate-*r/ sum-log flip-- difference-of-squares
1×associate--l- associate-+r- pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 50
Calls
2 calls:
69.0ms
(- (+ d4 (- d2 d3)) d1)
130.0ms
(* d1 (- (+ d4 (- d2 d3)) d1))

series81.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(- (+ d4 (- d2 d3)) d1)
50.0ms
(* d1 (- (+ d4 (- d2 d3)) d1))

simplify1.8s

Counts
56 → 56
Iterations

Useful iterations: 3 (543.0ms)

IterNodesCost
085611
1193586
2756532
34247528
done5001528

prune100.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ d4 (- d2 d3)) d1)
0.1b
(* (sqrt d1) (- (+ d4 (- d2 d3)) d1))
0.2b
(* (sqrt d1) (* (sqrt d1) (- (+ d4 (- d2 d3)) d1)))

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
16×add-sqr-sqrt
15×distribute-rgt-in distribute-lft-in
12×associate-*l* add-log-exp
10×pow1 add-exp-log add-cbrt-cube
8×add-cube-cbrt associate-*r* distribute-lft-out--
7×sub-neg associate--l+ sqrt-prod
6×associate-*r/
4×diff-log pow-prod-down prod-exp cbrt-unprod distribute-lft-out
3×flip3-- flip--
2×sum-log *-commutative difference-of-squares unswap-sqr
1×associate--l- associate-+r-
Counts
3 → 89
Calls
3 calls:
69.0ms
(- (+ d4 (- d2 d3)) d1)
132.0ms
(* (sqrt d1) (- (+ d4 (- d2 d3)) d1))
115.0ms
(* (sqrt d1) (* (sqrt d1) (- (+ d4 (- d2 d3)) d1)))

series263.0ms

Counts
3 → 9
Calls
3 calls:
29.0ms
(- (+ d4 (- d2 d3)) d1)
145.0ms
(* (sqrt d1) (- (+ d4 (- d2 d3)) d1))
89.0ms
(* (sqrt d1) (* (sqrt d1) (- (+ d4 (- d2 d3)) d1)))

simplify540.0ms

Counts
98 → 98
Iterations

Useful iterations: done (537.0ms)

IterNodesCost
01421387
13391158
212281036
done50001022

prune172.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- d2 d3) d1)
0.0b
(* (- (- d2 d3) d1) d1)
0.0b
(+ (* d1 d4) (* (- (- d2 d3) d1) d1))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
11×add-sqr-sqrt
10×add-log-exp
6×associate-*l* distribute-lft-out--
5×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
3×diff-log associate-*r*
2×sub-neg flip3-- associate-*l/ associate--l+ flip-- difference-of-squares
1×+-commutative associate--l- flip3-+ pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
3 → 53
Calls
3 calls:
19.0ms
(- (- d2 d3) d1)
55.0ms
(* (- (- d2 d3) d1) d1)
13.0ms
(+ (* d1 d4) (* (- (- d2 d3) d1) d1))

series98.0ms

Counts
3 → 9
Calls
3 calls:
16.0ms
(- (- d2 d3) d1)
28.0ms
(* (- (- d2 d3) d1) d1)
54.0ms
(+ (* d1 d4) (* (- (- d2 d3) d1) d1))

simplify2.2s

Counts
62 → 62
Iterations

Useful iterations: 3 (704.0ms)

IterNodesCost
094687
1230648
2791566
34264556
done5000556

prune131.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1)))
0.1b
(* (sqrt d1) (- (- d2 d3) d1))
0.1b
(* d4 (sqrt d1))
0.2b
(* (sqrt d1) (+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
18×*-un-lft-identity
15×associate-*r* associate-*l*
13×add-cube-cbrt
12×sqrt-prod
10×pow1 add-exp-log add-cbrt-cube
9×distribute-rgt-in distribute-lft-in
8×sub-neg associate-+r+ associate--l+
6×add-log-exp unswap-sqr
4×associate-*r/
3×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out--
2×flip3-+ flip-+
1×+-commutative flip3-- sum-log flip-- difference-of-squares
Counts
4 → 102
Calls
4 calls:
11.0ms
(+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1)))
43.0ms
(* (sqrt d1) (- (- d2 d3) d1))
5.0ms
(* d4 (sqrt d1))
14.0ms
(* (sqrt d1) (+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1))))

series758.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1)))
75.0ms
(* (sqrt d1) (- (- d2 d3) d1))
41.0ms
(* d4 (sqrt d1))
486.0ms
(* (sqrt d1) (+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1))))

simplify738.0ms

Counts
114 → 114
Iterations

Useful iterations: done (736.0ms)

IterNodesCost
01791601
14581385
215991197
done50001185

prune244.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes74.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
0911
11211
done1211

end0.0ms

sample705.0ms

Algorithm
intervals
Results
395.0ms11902×body80valid