Details

sample54.0ms

Algorithm

intervals

Results

41.0ms

361×

body

valid

simplify162.0ms

Calls

1 calls:

Slowest

161.0ms

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

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 3 expressions with local error:

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

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
6×	`diff-log`
4×	`add-sqr-sqrt` `sum-log`
3×	`pow1` `sub-neg` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
2×	`associate-+l+` `flip3--` `associate-+l-` `flip--`
1×	`associate--l-` `+-commutative` `flip3-+` `associate--l+` `flip-+` `distribute-lft-out--` `difference-of-squares`

Calls

3 calls:

Slowest

74.0ms	(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
15.0ms	(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
2.0ms	(- (* d1 d2) (* d1 d3))

series98.0ms

Calls

3 calls:

Slowest

36.0ms	(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
32.0ms	(+ (- (* d1 d2) (* d1 d3)) (* d4 d1))
29.0ms	(- (* d1 d2) (* d1 d3))

simplify1.9s

Calls

23 calls:

Slowest

219.0ms	(* (exp (- (* d1 d2) (* d1 d3))) (exp (* d4 d1)))
209.0ms	(/ (* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1))) (exp (* d1 d1)))
179.0ms	(/ (exp (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) (exp (* d1 d1)))
172.0ms	(* (/ (exp (* d1 d2)) (exp (* d1 d3))) (exp (* d4 d1)))
143.0ms	(- (* d2 d1) (+ (pow d1 2) (* d3 d1)))

prune532.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

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

series49.0ms

Calls

1 calls:

Slowest

49.0ms

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

simplify1.7s

Calls

20 calls:

Slowest

198.0ms	(* (- d2 d4) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))
135.0ms	(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (- d3 d1))
132.0ms	(+ (* (+ d2 d4) (+ d2 d4)) (+ (* (+ d3 d1) (+ d3 d1)) (* (+ d2 d4) (+ d3 d1))))
129.0ms	(* d1 (- d4 (+ d3 d1)))
113.0ms	(* (+ (* d2 d2) (- (* d4 d4) (* d2 d4))) (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))

prune236.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

136×	`sqrt-div`
77×	`flip3-+` `flip-+`
54×	`associate-*r/`
36×	`frac-times` `frac-add`
32×	`frac-sub`
22×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`sqrt-prod`
14×	`associate-r`
8×	`flip3--` `flip--` `add-log-exp` `difference-of-squares`
6×	`pow1` `add-cbrt-cube` `associate-*l/` `add-exp-log` `add-cube-cbrt`
4×	`insert-posit16` `distribute-lft-out` `distribute-lft-out--`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
2×	`*-commutative`
1×	`+-commutative` `sum-log` `diff-log` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`

Calls

4 calls:

Slowest

36.0ms	(* (* d1 (+ (sqrt (+ d2 d4)) (sqrt (+ d3 d1)))) (- (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))
10.0ms	(* d1 (+ (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))
7.0ms	(- (sqrt (+ d2 d4)) (sqrt (+ d3 d1)))
6.0ms	(+ (sqrt (+ d2 d4)) (sqrt (+ d3 d1)))

series399.0ms

Calls

4 calls:

Slowest

172.0ms	(* (* d1 (+ (sqrt (+ d2 d4)) (sqrt (+ d3 d1)))) (- (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))
91.0ms	(- (sqrt (+ d2 d4)) (sqrt (+ d3 d1)))
72.0ms	(+ (sqrt (+ d2 d4)) (sqrt (+ d3 d1)))
64.0ms	(* d1 (+ (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))

simplify22.4s

Calls

157 calls:

Slowest

718.0ms	(* (* d1 (+ (* (sqrt (+ (pow d2 3) (pow d4 3))) (sqrt (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))) (* (sqrt (+ (* d2 d2) (- (* d4 d4) (* d2 d4)))) (sqrt (+ (pow d3 3) (pow d1 3)))))) (- (* (sqrt (+ d2 d4)) (sqrt (+ d2 d4))) (* (sqrt (+ d3 d1)) (sqrt (+ d3 d1)))))
533.0ms	(* (+ (* (sqrt (+ d2 d4)) (sqrt (+ d2 d4))) (- (* (sqrt (+ d3 d1)) (sqrt (+ d3 d1))) (* (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))) (* (sqrt (+ (* d2 d2) (- (* d4 d4) (* d2 d4)))) (sqrt (- d3 d1))))
480.0ms	(* (+ (* (sqrt (+ d2 d4)) (sqrt (+ d2 d4))) (- (* (sqrt (+ d3 d1)) (sqrt (+ d3 d1))) (* (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))) (* (sqrt (- d2 d4)) (sqrt (+ (* d3 d3) (- (* d1 d1) (* d3 d1))))))
416.0ms	(* (* d1 (+ (pow (sqrt (+ d2 d4)) 3) (pow (sqrt (+ d3 d1)) 3))) (- (pow (sqrt (+ d2 d4)) 3) (pow (sqrt (+ d3 d1)) 3)))
403.0ms	(* (+ (* (sqrt (+ d2 d4)) (sqrt (+ d2 d4))) (- (* (sqrt (+ d3 d1)) (sqrt (+ d3 d1))) (* (sqrt (+ d2 d4)) (sqrt (+ d3 d1))))) (* (sqrt (- d2 d4)) (sqrt (- d3 d1))))

prune1.6s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes157.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.5s

Algorithm

intervals

Results

1.3s

11871×

body

valid