Details

Time bar (total: 15.9s)

sample48.0ms

Algorithm
intervals
Results
36.0ms366×body80valid

simplify239.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
239.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
7×associate-*r*
6×associate-*r/
5×add-sqr-sqrt
4×flip3-- frac-add flip-- distribute-lft-out distribute-lft-out--
3×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
1×distribute-rgt-in expm1-log1p-u distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 33
Calls
1 calls:
Slowest
121.0ms
(* d1 (+ (- d2 d3) (- d4 d1)))

series81.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
81.0ms
(* d1 (+ (- d2 d3) (- d4 d1)))

simplify5.0s

Counts
25 → 36
Calls
25 calls:
Slowest
680.0ms
(* (* (* d1 d1) d1) (* (* (+ (- d2 d3) (- d4 d1)) (+ (- d2 d3) (- d4 d1))) (+ (- d2 d3) (- d4 d1))))
441.0ms
(* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ d4 d1))
430.0ms
(* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1))))
416.0ms
(* (sqrt d1) (sqrt (+ (- d2 d3) (- d4 d1))))
396.0ms
(+ (* (- d2 d3) (- d2 d3)) (- (* (- d4 d1) (- d4 d1)) (* (- d2 d3) (- d4 d1))))

prune401.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×associate-*l/
11×*-un-lft-identity
10×associate-*l*
7×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
6×flip3-- associate-*r* flip--
5×add-log-exp
4×frac-add
3×expm1-log1p-u insert-posit16 log1p-expm1-u
2×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×+-commutative sum-log fma-def flip3-+ distribute-rgt-out flip-+
Counts
3 → 70
Calls
3 calls:
Slowest
37.0ms
(* (- d2 d3) d1)
21.0ms
(+ (* (- d2 d3) d1) (* (- d4 d1) d1))
17.0ms
(* (- d4 d1) d1)

series180.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
68.0ms
(+ (* (- d2 d3) d1) (* (- d4 d1) d1))
57.0ms
(* (- d2 d3) d1)
55.0ms
(* (- d4 d1) d1)

simplify5.0s

Counts
44 → 79
Calls
44 calls:
Slowest
449.0ms
(+ (* (* (- (pow d2 3) (pow d3 3)) d1) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (* (- (pow d4 3) (pow d1 3)) d1)))
407.0ms
(* (exp (* (- d2 d3) d1)) (exp (* (- d4 d1) d1)))
399.0ms
(* (- (* d4 d4) (* d1 d1)) d1)
356.0ms
(* (+ (* d2 d2) (+ (* d3 d3) (* d2 d3))) (+ d4 d1))
345.0ms
(+ (* (* (- (* d2 d2) (* d3 d3)) d1) (+ (* d4 d4) (+ (* d1 d1) (* d4 d1)))) (* (+ d2 d3) (* (- (pow d4 3) (pow d1 3)) d1)))

prune672.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
3×associate-*r*
2×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 36
Calls
2 calls:
Slowest
17.0ms
(* (- d4 d1) d1)
0.0ms
(fma (- d2 d3) d1 (* (- d4 d1) d1))

series118.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
74.0ms
(fma (- d2 d3) d1 (* (- d4 d1) d1))
44.0ms
(* (- d4 d1) d1)

simplify1.5s

Counts
18 → 42
Calls
18 calls:
Slowest
433.0ms
(* (- (* d4 d4) (* d1 d1)) d1)
290.0ms
(* (- (pow d4 3) (pow d1 3)) d1)
224.0ms
(* (* (* (- d4 d1) (- d4 d1)) (- d4 d1)) (* (* d1 d1) d1))
201.0ms
(- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
199.0ms
(- (* d4 d1) (+ (pow d1 2) (* d3 d1)))

prune329.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes109.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.6s11822×body80valid