Details

Time bar (total: 7.4s)

sample72.0ms

Algorithm
intervals
Results
53.0ms397×body80valid

simplify162.0ms

Calls
1 calls:
Slowest
162.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*r/
5×associate-*r*
4×add-sqr-sqrt *-un-lft-identity flip3-+ frac-sub flip-+
3×distribute-rgt-in distribute-lft-in
2×sub-neg associate--l+ add-cube-cbrt
1×pow1 flip3-- add-cbrt-cube add-exp-log *-commutative insert-posit16 flip-- distribute-lft-out-- add-log-exp difference-of-squares
Calls
1 calls:
Slowest
8.0ms
(* d1 (- (+ d2 d4) (+ d3 d1)))

series79.0ms

Calls
1 calls:
Slowest
79.0ms
(* d1 (- (+ d2 d4) (+ d3 d1)))

simplify2.2s

Calls
20 calls:
Slowest
389.0ms
(- (+ (* d4 d1) (* d2 d1)) (pow d1 2))
244.0ms
(* (- d2 d4) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))
166.0ms
(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- d3 d1))
145.0ms
(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))
137.0ms
(+ (* (+ d2 d4) (+ d2 d4)) (+ (* (+ d3 d1) (+ d3 d1)) (* (+ d2 d4) (+ d3 d1))))

prune305.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×distribute-rgt-in associate-+r+ sub-neg distribute-lft-in add-log-exp
3×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
2×pow1 add-cbrt-cube associate-*r/ add-exp-log insert-posit16
1×+-commutative sum-log flip3-+ flip3-- *-commutative flip-+ flip-- distribute-lft-out
Calls
2 calls:
Slowest
7.0ms
(+ (* d1 d2) (* d1 (- d4 (+ d3 d1))))
4.0ms
(* d1 (- d4 (+ d3 d1)))

series122.0ms

Calls
2 calls:
Slowest
68.0ms
(+ (* d1 d2) (* d1 (- d4 (+ d3 d1))))
53.0ms
(* d1 (- d4 (+ d3 d1)))

simplify2.0s

Calls
21 calls:
Slowest
239.0ms
(+ d2 (- d4 (+ d3 d1)))
220.0ms
(+ (* d4 d4) (+ (* (+ d3 d1) (+ d3 d1)) (* d4 (+ d3 d1))))
210.0ms
(* (exp (* d1 d2)) (exp (* d1 (- d4 (+ d3 d1)))))
168.0ms
(- (* d4 d1) (+ (pow d1 2) (* d3 d1)))
158.0ms
(- (* d4 d1) (+ (pow d1 2) (* d3 d1)))

prune383.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes133.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.6s11924×body80valid