Details

Time bar (total: 11.3s)

sample30.0ms

Algorithm
intervals
Results
15.0ms373×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
53891
4775
3245
281
126
011

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite527.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
29×add-sqr-sqrt
28×associate-+l+
24×prod-diff
19×add-cube-cbrt
12×distribute-lft-out--
11×associate--l+ add-log-exp
6×fma-def associate-*r* distribute-lft-out
4×pow1 add-cbrt-cube add-exp-log difference-of-squares
3×sum-log diff-log associate-*l*
2×expm1-log1p-u sub-neg flip3-+ associate-*r/ flip-+ log1p-expm1-u
1×distribute-rgt-in +-commutative distribute-lft-in pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod unswap-sqr
Counts
2 → 80
Calls
2 calls:
151.0ms
(+ (- (- d2 d3) d1) d4)
373.0ms
(* d1 (+ (- (- d2 d3) d1) d4))

series124.0ms

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

simplify563.0ms

Counts
86 → 86
Iterations
IterNodes
done5001
21175
1302
0114

prune397.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
89×*-un-lft-identity
88×add-sqr-sqrt
60×add-cube-cbrt
56×distribute-rgt-in associate-+l+ distribute-lft-in
44×associate--l+
15×distribute-lft-out--
13×difference-of-squares
8×sub-neg
6×associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-log-exp
3×associate-*l*
2×expm1-log1p-u associate-*r/ log1p-expm1-u
1×+-commutative sum-log fma-def flip3-+ flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ flip-- distribute-lft-out unswap-sqr
Counts
2 → 152
Calls
2 calls:
44.0ms
(+ (* d1 (- (- d2 d3) d1)) (* d1 d4))
88.0ms
(* d1 (- (- d2 d3) d1))

series105.0ms

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

simplify1.7s

Counts
158 → 158
Iterations
IterNodes
done5001
22316
1549
0215

prune584.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(* d1 (+ (fma d3 -1 (- d3 d1)) d4))
0.0b
(* (fma 1 d2 (- (* d3 1))) d1)
0.0b
(+ (* (fma 1 d2 (- (* d3 1))) d1) (* d1 (+ (fma d3 -1 (- d3 d1)) d4)))
2.4b
(fma d3 -1 (- d3 d1))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×*-un-lft-identity
8×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
7×associate-*r*
6×associate-*l* add-log-exp
4×expm1-log1p-u log1p-expm1-u
2×distribute-rgt-in associate-+r+ distribute-lft-in flip3-+ pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod flip-+ unswap-sqr
1×+-commutative sum-log fma-def fma-udef distribute-lft-out
Counts
4 → 71
Calls
4 calls:
15.0ms
(* d1 (+ (fma d3 -1 (- d3 d1)) d4))
6.0ms
(* (fma 1 d2 (- (* d3 1))) d1)
6.0ms
(+ (* (fma 1 d2 (- (* d3 1))) d1) (* d1 (+ (fma d3 -1 (- d3 d1)) d4)))
0.0ms
(fma d3 -1 (- d3 d1))

series254.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* d1 (+ (fma d3 -1 (- d3 d1)) d4))
51.0ms
(* (fma 1 d2 (- (* d3 1))) d1)
103.0ms
(+ (* (fma 1 d2 (- (* d3 1))) d1) (* d1 (+ (fma d3 -1 (- d3 d1)) d4)))
34.0ms
(fma d3 -1 (- d3 d1))

simplify897.0ms

Counts
83 → 83
Iterations
IterNodes
done5001
21491
1320
0118

prune482.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes200.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify617.0ms

Iterations
IterNodes
done5000
92228
8950
7419
6197
5102
461
342
230
126
015

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s11993×body80valid