Details

Time bar (total: 19.0s)

sample49.0ms

Algorithm
intervals
Results
22.0ms392×body80valid

simplify6.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (66.0ms)

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

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

rewrite292.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:
232.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
44.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
14.0ms
(- (* d1 d2) (* d1 d3))

series184.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
63.0ms
(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
50.0ms
(- (* d1 d2) (* d1 d3))

simplify1.2s

Counts
73 → 73
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01061089
1297848
21107692
done5000659

prune233.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.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:
10.0ms
(- (fma d1 (- d2 d3) (* d4 d1)) (* d1 d1))

series69.0ms

Counts
1 → 3
Calls
1 calls:
69.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

prune85.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

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

rewrite424.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:
75.0ms
(* d1 (+ (- d2 d3) d4))
281.0ms
(* (+ (sqrt (* d1 (+ (- d2 d3) d4))) d1) (- (sqrt (* d1 (+ (- d2 d3) d4))) d1))
31.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))
32.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))

series5.2s

Counts
4 → 12
Calls
4 calls:
38.0ms
(* d1 (+ (- d2 d3) d4))
4.7s
(* (+ (sqrt (* d1 (+ (- d2 d3) d4))) d1) (- (sqrt (* d1 (+ (- d2 d3) d4))) d1))
245.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))
247.0ms
(sqrt (* d1 (+ (- d2 d3) d4)))

simplify1.2s

Counts
129 → 129
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02373441
16572862
223492384
done50002268

prune297.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes66.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.3s

Algorithm
intervals
Results
753.0ms11899×body80valid