Details

Time bar (total: 18.9s)

sample36.0ms

Algorithm
intervals
Results
17.0ms392×body80valid

simplify6.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (47.0ms)

IterNodesCost
01115
12613
28110
32419
45459
59819
613579
718519
822479
923589
done23589

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite272.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
7×add-sqr-sqrt
6×add-cube-cbrt *-un-lft-identity diff-log
5×prod-diff
4×fma-def fma-neg sum-log
3×pow1 add-exp-log expm1-log1p-u sub-neg associate-+l+ add-cbrt-cube log1p-expm1-u
2×associate-+l- flip3-- flip-- distribute-lft-out--
1×+-commutative associate--l- flip3-+ associate--l+ flip-+ difference-of-squares
Counts
3 → 64
Calls
3 calls:
211.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
43.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
16.0ms
(- (* d1 d2) (* d1 d3))

series188.0ms

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

simplify1.1s

Counts
73 → 73
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01061089
1297848
21107692
done5000659

prune214.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt
3×add-cube-cbrt *-un-lft-identity fma-neg prod-diff add-log-exp
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log associate--l+ add-cbrt-cube flip-- fma-udef log1p-expm1-u difference-of-squares
Counts
1 → 22
Calls
1 calls:
7.0ms
(- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))

series88.0ms

Counts
1 → 3
Calls
1 calls:
88.0ms
(- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))

simplify1.8s

Counts
25 → 25
Iterations

Useful iterations: done (1.8s)

IterNodesCost
054434
1131422
2333343
31423290
done5001269

prune72.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite846.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
30×add-sqr-sqrt
24×prod-diff
22×add-cube-cbrt
15×distribute-rgt-in distribute-lft-in
14×pow1
11×associate-*r*
10×sqrt-prod
8×add-exp-log associate-*r/ associate-*l* add-cbrt-cube
6×flip3-+ flip-+
4×expm1-log1p-u frac-times sqrt-pow1 sqrt-div pow-prod-down log1p-expm1-u distribute-lft-out add-log-exp
3×flip3-- flip-- distribute-lft-out--
2×sub-neg pow1/2 associate-*l/ prod-exp *-commutative cbrt-unprod unswap-sqr
1×difference-of-squares
Counts
4 → 117
Calls
4 calls:
97.0ms
(* d1 (+ (- d2 d3) d4))
676.0ms
(* (+ (sqrt (* d1 (+ (- d2 d3) d4))) d1) (- (sqrt (* d1 (+ (- d2 d3) d4))) d1))
21.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))
48.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))

series4.9s

Counts
4 → 12
Calls
4 calls:
38.0ms
(* d1 (+ (- d2 d3) d4))
4.3s
(* (+ (sqrt (* d1 (+ (- d2 d3) d4))) d1) (- (sqrt (* d1 (+ (- d2 d3) d4))) d1))
285.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))
242.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))

simplify1.2s

Counts
129 → 129
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02373441
16572862
223492384
done50002268

prune292.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes65.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
0912
11012
done1012

end0.0ms

sample1.2s

Algorithm
intervals
Results
742.0ms11899×body80valid