Details

Time bar (total: 17.6s)

sample36.0ms

Algorithm
intervals
Results
20.0ms256×body80valid
7.0ms256×pre80true

simplify176.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
176.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.6b

localize24.0ms

Local error

Found 1 expressions with local error:

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

rewrite29.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
Counts
1 → 32
Calls
1 calls:
Slowest
28.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

series80.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
80.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))

simplify3.8s

Counts
25 → 35
Calls
25 calls:
Slowest
521.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))))
489.0ms
(* (- (* x x) (* y y)) (+ y x))
487.0ms
(* (- (pow x 3) (pow y 3)) (- (* y y) (* x x)))
368.0ms
(* (- (* x x) (* y y)) (- (* y y) (* x x)))
351.0ms
(* (- x y) (+ (pow y 3) (pow x 3)))

prune347.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize17.0ms

Local error

Found 2 expressions with local error:

18.9b
(/ (+ y x) (fma x x (* y y)))
0.1b
(* (- x y) (/ (+ y x) (fma x x (* y y))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
36×*-un-lft-identity
27×add-sqr-sqrt
25×times-frac
20×add-cube-cbrt
16×associate-*r*
9×add-cbrt-cube add-exp-log
7×distribute-lft-out
5×associate-*l*
4×pow1 associate-/l*
3×associate-/r*
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 unswap-sqr associate-/l/
1×clear-num frac-2neg flip3-+ pow-prod-down associate-*r/ *-commutative flip-+ distribute-lft-out-- difference-of-squares
Counts
2 → 80
Calls
2 calls:
Slowest
37.0ms
(* (- x y) (/ (+ y x) (fma x x (* y y))))
17.0ms
(/ (+ y x) (fma x x (* y y)))

series186.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
104.0ms
(* (- x y) (/ (+ y x) (fma x x (* y y))))
82.0ms
(/ (+ y x) (fma x x (* y y)))

simplify3.7s

Counts
74 → 86
Calls
74 calls:
Slowest
385.0ms
(* (- (* x x) (* y y)) (+ y x))
369.0ms
(* (- (* x x) (* y y)) (/ (+ y x) (fma x x (* y y))))
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)))))
269.0ms
(* (- (pow x 3) (pow y 3)) (+ y x))
252.0ms
(* (- (pow x 3) (pow y 3)) (/ (+ y x) (fma x x (* y y))))

prune735.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize42.0ms

Local error

Found 2 expressions with local error:

19.6b
(/ (* (- x y) (+ y x)) (fma x x (* y y)))
0.0b
(log (exp (/ (* (- x y) (+ y x)) (fma x x (* y y)))))

rewrite50.0ms

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

series215.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
111.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))
104.0ms
(log (exp (/ (* (- x y) (+ y x)) (fma x x (* y y)))))

simplify5.2s

Counts
39 → 60
Calls
39 calls:
Slowest
615.0ms
(* (- (pow x 3) (pow y 3)) (- (* y y) (* x x)))
544.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))))
395.0ms
(* (- (* x x) (* y y)) (+ y x))
355.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))))
337.0ms
(- (log (* (- x y) (+ y x))) (log (fma x x (* y y))))

prune663.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

localize0.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

prune0.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.3b

regimes115.0ms

Accuracy

75.7% (4.8b remaining)

Error of 5.2b against oracle of 0.4b and baseline of 20.1b

bsearch130.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s8000×body80valid
404.0ms8000×pre80true