Details

Time bar (total: 10.0m)

sample44.0ms

Algorithm
intervals
Results
26.0ms313×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
41848
3385
290
131
015

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1.0 a) (/ 1.0 b))
0.2b
(/ (+ a b) (- (/ 1.0 a) (/ 1.0 b)))
0.2b
(/ (* (/ (/ PI 2.0) (- b a)) 1.0) (/ (+ a b) (- (/ 1.0 a) (/ 1.0 b))))
0.3b
(/ (/ PI 2.0) (- b a))

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
701×times-frac
543×*-un-lft-identity
525×add-sqr-sqrt
329×add-cube-cbrt
169×prod-diff
84×distribute-lft-out--
72×associate-/r*
70×difference-of-squares
66×div-inv
43×add-cbrt-cube add-exp-log
37×distribute-lft-out
22×cbrt-undiv div-exp
18×associate-/l*
13×fma-neg
12×associate-/r/
6×prod-exp cbrt-unprod add-log-exp
5×flip3-- flip--
4×expm1-log1p-u pow1 frac-sub log1p-expm1-u associate-/l/
3×clear-num frac-2neg
1×sub-neg flip3-+ diff-log associate-*l/ flip-+
Counts
4 → 532
Calls
4 calls:
28.0ms
(- (/ 1.0 a) (/ 1.0 b))
65.0ms
(/ (+ a b) (- (/ 1.0 a) (/ 1.0 b)))
98.0ms
(/ (* (/ (/ PI 2.0) (- b a)) 1.0) (/ (+ a b) (- (/ 1.0 a) (/ 1.0 b))))
39.0ms
(/ (/ PI 2.0) (- b a))

series354.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(- (/ 1.0 a) (/ 1.0 b))
85.0ms
(/ (+ a b) (- (/ 1.0 a) (/ 1.0 b)))
128.0ms
(/ (* (/ (/ PI 2.0) (- b a)) 1.0) (/ (+ a b) (- (/ 1.0 a) (/ 1.0 b))))
86.0ms
(/ (/ PI 2.0) (- b a))

simplify947.0ms

Counts
544 → 544
Iterations
IterNodes
done5001
12042
0767

prune2.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (+ b a) (* 1.0 (- b a))) (* a b))
0.0b
(/ (+ b a) (* 1.0 (- b a)))
0.2b
(/ (* (/ (/ PI 2.0) (- b a)) 1.0) (* (/ (+ b a) (* 1.0 (- b a))) (* a b)))
0.3b
(/ (/ PI 2.0) (- b a))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
193×add-cbrt-cube add-exp-log
128×times-frac
98×*-un-lft-identity
92×add-sqr-sqrt
77×prod-exp cbrt-unprod
74×cbrt-undiv div-exp
64×add-cube-cbrt
18×associate-/l*
14×distribute-lft-out-- difference-of-squares
10×associate-*l* div-inv
9×pow1
7×associate-/r* associate-/r/
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp associate-/l/
3×clear-num frac-2neg flip3-- pow-prod-down associate-*l/ flip-- distribute-lft-out
1×flip3-+ associate-*r* *-commutative flip-+
Counts
4 → 240
Calls
4 calls:
67.0ms
(* (/ (+ b a) (* 1.0 (- b a))) (* a b))
19.0ms
(/ (+ b a) (* 1.0 (- b a)))
83.0ms
(/ (* (/ (/ PI 2.0) (- b a)) 1.0) (* (/ (+ b a) (* 1.0 (- b a))) (* a b)))
14.0ms
(/ (/ PI 2.0) (- b a))

series452.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(* (/ (+ b a) (* 1.0 (- b a))) (* a b))
110.0ms
(/ (+ b a) (* 1.0 (- b a)))
116.0ms
(/ (* (/ (/ PI 2.0) (- b a)) 1.0) (* (/ (+ b a) (* 1.0 (- b a))) (* a b)))
97.0ms
(/ (/ PI 2.0) (- b a))

simplify995.0ms

Counts
252 → 252
Iterations
IterNodes
done5000
11203
0378

prune1.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (+ b a) 1.0) (- b a))
0.2b
(* (/ (/ (/ PI 2.0) (/ (/ (+ b a) 1.0) (- b a))) (- b a)) (/ (/ 1.0 b) a))
0.3b
(/ (/ 1.0 b) a)
0.3b
(/ (/ (/ PI 2.0) (/ (/ (+ b a) 1.0) (- b a))) (- b a))

rewrite9.1s

Algorithm
rewrite-expression-head
Rules
52445×times-frac
30608×*-un-lft-identity
26420×add-sqr-sqrt
17178×add-cube-cbrt
5621×associate-*l*
4552×distribute-lft-out-- difference-of-squares
2163×distribute-lft-out
1833×div-inv
1152×associate-/l*
303×associate-/r/
181×add-cbrt-cube add-exp-log
146×flip3-- flip--
118×cbrt-undiv div-exp
43×associate-*r*
24×prod-exp cbrt-unprod unswap-sqr
13×associate-/r*
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 12714
Calls
4 calls:
29.0ms
(/ (/ (+ b a) 1.0) (- b a))
5.1s
(* (/ (/ (/ PI 2.0) (/ (/ (+ b a) 1.0) (- b a))) (- b a)) (/ (/ 1.0 b) a))
9.0ms
(/ (/ 1.0 b) a)
500.0ms
(/ (/ (/ PI 2.0) (/ (/ (+ b a) 1.0) (- b a))) (- b a))

series344.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(/ (/ (+ b a) 1.0) (- b a))
116.0ms
(* (/ (/ (/ PI 2.0) (/ (/ (+ b a) 1.0) (- b a))) (- b a)) (/ (/ 1.0 b) a))
36.0ms
(/ (/ 1.0 b) a)
90.0ms
(/ (/ (/ PI 2.0) (/ (/ (+ b a) 1.0) (- b a))) (- b a))

simplify4.9s

Counts
12726 → 12726
Iterations
IterNodes
done10716
010716

prune1.1m

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 1.0 b) a)
0.3b
(/ (- b a) (/ (/ PI 2.0) (/ (/ 1 1.0) (- b a))))
0.4b
(/ (/ PI 2.0) (/ (/ 1 1.0) (- b a)))
0.4b
(/ (/ 1 (/ (+ b a) 1)) (/ (- b a) (/ (/ PI 2.0) (/ (/ 1 1.0) (- b a)))))

rewrite1.4m

Algorithm
rewrite-expression-head
Rules
1720627×times-frac
835439×*-un-lft-identity
751811×add-sqr-sqrt
556077×add-cube-cbrt
97867×distribute-lft-out-- difference-of-squares
60202×div-inv
41814×distribute-lft-out
12183×associate-/r/
5647×associate-/r*
3603×flip3-- flip--
763×add-exp-log
712×div-exp
197×add-cbrt-cube
154×cbrt-undiv
96×1-exp
84×associate-/l*
60×rec-exp
5×associate-/l/
4×expm1-log1p-u pow1 clear-num frac-2neg log1p-expm1-u add-log-exp
1×div-sub
Counts
4 → 257757
Calls
4 calls:
18.0ms
(/ (/ 1.0 b) a)
298.0ms
(/ (- b a) (/ (/ PI 2.0) (/ (/ 1 1.0) (- b a))))
73.0ms
(/ (/ PI 2.0) (/ (/ 1 1.0) (- b a)))
8.2s
(/ (/ 1 (/ (+ b a) 1)) (/ (- b a) (/ (/ PI 2.0) (/ (/ 1 1.0) (- b a)))))

series165.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(/ (/ 1.0 b) a)
19.0ms
(/ (- b a) (/ (/ PI 2.0) (/ (/ 1 1.0) (- b a))))
53.0ms
(/ (/ PI 2.0) (/ (/ 1 1.0) (- b a)))
71.0ms
(/ (/ 1 (/ (+ b a) 1)) (/ (- b a) (/ (/ PI 2.0) (/ (/ 1 1.0) (- b a)))))

simplify1.5m

Counts
257769 → 257769
Iterations
IterNodes
done222153
0222153

prune5.7m