Details

Time bar (total: 9.9s)

sample25.0ms

Algorithm
intervals
Results
12.0ms383×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (22.0ms)

IterNodesCost
01115
12513
26811
31819
43899
56799
69059
713429
816579
916759
done16759

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

rewrite196.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:
66.0ms
(- (+ d4 (- d2 d3)) d1)
128.0ms
(* d1 (- (+ d4 (- d2 d3)) d1))

series78.0ms

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

simplify1.2s

Counts
56 → 56
Iterations

Useful iterations: 3 (314.0ms)

IterNodesCost
085611
1193586
2619532
33123528
done5000528

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

rewrite315.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:
68.0ms
(- (+ d4 (- d2 d3)) d1)
130.0ms
(* (sqrt d1) (- (+ d4 (- d2 d3)) d1))
114.0ms
(* (sqrt d1) (* (sqrt d1) (- (+ d4 (- d2 d3)) d1)))

series267.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(- (+ d4 (- d2 d3)) d1)
149.0ms
(* (sqrt d1) (- (+ d4 (- d2 d3)) d1))
87.0ms
(* (sqrt d1) (* (sqrt d1) (- (+ d4 (- d2 d3)) d1)))

simplify637.0ms

Counts
98 → 98
Iterations

Useful iterations: done (634.0ms)

IterNodesCost
01421387
13391158
212001036
done50021022

prune174.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

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

rewrite92.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:
22.0ms
(- (- d2 d3) d1)
54.0ms
(* (- (- d2 d3) d1) d1)
14.0ms
(+ (* d1 d4) (* (- (- d2 d3) d1) d1))

series104.0ms

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

simplify2.2s

Counts
62 → 62
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
094687
1230648
2787566
33967556
done5001556

prune151.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

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

rewrite79.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:
10.0ms
(+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1)))
47.0ms
(* (sqrt d1) (- (- d2 d3) d1))
5.0ms
(* d4 (sqrt d1))
14.0ms
(* (sqrt d1) (+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1))))

series597.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1)))
75.0ms
(* (sqrt d1) (- (- d2 d3) d1))
49.0ms
(* d4 (sqrt d1))
305.0ms
(* (sqrt d1) (+ (* d4 (sqrt d1)) (* (sqrt d1) (- (- d2 d3) d1))))

simplify814.0ms

Counts
114 → 114
Iterations

Useful iterations: done (811.0ms)

IterNodesCost
01791601
14581385
214621198
done50011138

prune233.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

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

sample682.0ms

Algorithm
intervals
Results
392.0ms11902×body80valid