Details

Time bar (total: 14.7s)

sample54.0ms

Algorithm
intervals
Results
29.0ms256×body80valid
12.0ms256×pre80true

simplify248.0ms

Calls
1 calls:
Slowest
248.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.1b

localize25.0ms

Local error

Found 1 expressions with local error:

22.1b
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
6×add-cbrt-cube add-exp-log
4×frac-times
3×add-sqr-sqrt associate-/r* *-un-lft-identity flip3-+ times-frac flip3-- add-cube-cbrt flip-+ flip--
2×cbrt-undiv div-exp associate-*l/ associate-*r/
1×expm1-log1p-u pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
Calls
1 calls:
Slowest
9.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

series104.0ms

Calls
1 calls:
Slowest
104.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

simplify4.2s

Calls
25 calls:
Slowest
719.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))))
503.0ms
(* (- (* x x) (* y y)) (+ (pow y 3) (pow x 3)))
480.0ms
(/ (* (* (* (- x y) (+ y x)) (* (- x y) (+ y x))) (* (- x y) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))))
415.0ms
(* (- (* x x) (* y y)) (+ y x))
347.0ms
(* (- (* x x) (* y y)) (- (* y y) (* x x)))

prune339.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.4b

localize6.0ms

Local error

Found 2 expressions with local error:

21.1b
(/ (+ y x) (fma x x (* y y)))
0.2b
(* (- x y) (/ (+ y x) (fma x x (* y y))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
13×associate-*r*
9×add-cbrt-cube add-exp-log
4×pow1
3×associate-/r* associate-*l* associate-/l*
2×expm1-log1p-u frac-times cbrt-undiv flip3-- div-exp associate-*l/ prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp associate-/l/
1×clear-num frac-2neg flip3-+ pow-prod-down associate-*r/ *-commutative flip-+
Calls
2 calls:
Slowest
7.0ms
(* (- x y) (/ (+ y x) (fma x x (* y y))))
4.0ms
(/ (+ y x) (fma x x (* y y)))

series183.0ms

Calls
2 calls:
Slowest
122.0ms
(* (- x y) (/ (+ y x) (fma x x (* y y))))
61.0ms
(/ (+ y x) (fma x x (* y y)))

simplify2.9s

Calls
60 calls:
Slowest
379.0ms
(* (- (* x x) (* y y)) (/ (+ y x) (fma x x (* y y))))
313.0ms
(* (- (* x x) (* y y)) (+ y x))
255.0ms
(* (- (pow x 3) (pow y 3)) (/ (+ y x) (fma x x (* y y))))
247.0ms
(* (* (* (- x y) (- x y)) (- x y)) (/ (* (* (+ y x) (+ y x)) (+ y x)) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y)))))
245.0ms
(* (- x y) (/ (+ y x) (fma x x (* y y))))

prune607.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.4b

localize0.0ms

Local error

Found 1 expressions with local error:

22.1b
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
6×add-cbrt-cube add-exp-log
4×frac-times
3×add-sqr-sqrt associate-/r* *-un-lft-identity flip3-+ times-frac flip3-- add-cube-cbrt flip-+ flip--
2×cbrt-undiv div-exp associate-*l/ associate-*r/
1×expm1-log1p-u pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
Calls
1 calls:
Slowest
10.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

series90.0ms

Calls
1 calls:
Slowest
89.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

simplify3.6s

Calls
25 calls:
Slowest
599.0ms
(* (- (* x x) (* y y)) (+ (pow y 3) (pow x 3)))
449.0ms
(/ (* (* (* (- x y) (+ y x)) (* (- x y) (+ y x))) (* (- x y) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))))
401.0ms
(* (- (* x x) (* y y)) (+ y x))
330.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))))
316.0ms
(* (- (pow x 3) (pow y 3)) (- (* y y) (* x x)))

prune376.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune1.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.4b

regimes108.0ms

Accuracy

76% (4.8b remaining)

Error of 5.3b against oracle of 0.5b and baseline of 20.4b

bsearch133.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s8000×body80valid
377.0ms8000×pre80true